Unified Vector classes

Fixes #784.

No visible API changes.