type2:
     builtinType
   | symbol
   | typeofExpression ('.' identifierOrTemplateChain)?
   | typeConstructor '(' type ')'
   | vector
   ;