Updated src/vector.h -> Better type-safety