Adding VectorVector code in preparation for supporting typechecking assignments
with conditionals. E.g., (b? x:y) = (c? w:z);
(Fun stuff!)