Type refinements for the vector package.