rename these *Vec classes to *Vector; don't forget the python file