Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for Vects