Minor thing, is it better to call this `Vectors` or `Vector`? Do you have examples where people used an s? I think we could define `object Vector` and still be okay (even calling it from Java and such).