std: Remove typedef for vector index type

Every index type can be accessed from the vector
itself (via VectorType::size_type), so
ModelIdxType is not needed anymore.