new Vector type to make vector operations safe, and make serialization easier
instead of using Maybe as vector elems, initialize all vectors with VUnit
toStr function to show vectors