new constructors for VectorTypeSymbol