refactor vectors (but not Polytope or Trafo)
make sure some doctests pass