Adds an edge from one vertex to another.
a new graph instance with the edge added
the source vertex
the destination vertex