Add two Vectors, returning a new Vector.
(a, b *Vector)
source not stored for this graph (policy: none)