code: private Type parseNominalType(EnclosingScope scope) {
  		int start = index;
  		Name name = parseName(scope);
  		if (name.size() == 1 && scope.isTypeVariable(name.get(0))) {
  			return annotateSourceLocation(new Type.Variable(name.get(0)), start);
  		} else {
  			Tuple<Type> types = parseTypeParameters(scope);
  			return annotateSourceLocation(new Type.Nominal(new Decl.Link(name),types), start);
  		}
  	}
docs: Parse a nominal type, which is of the form:
  
  <pre>
  NominalType ::= Identifier ('.' Identifier)*
  </pre>
  
  @see wyc.lang.Type.Nominal
  @return