(quote +,List,List)
v + w
-- the sum of two vectors represented as lists.
