Move vector.hxx into core