anchor.diff:  	;
   	
   simpleType
  +	:	identifier
  +	;
  +	
  +alias		// aliases cannot have wildcards
   	:	identifier
   	;
   	
  
positive.code: 	:	ANNOTATION
  	;
  
  taxonomy		// taxonomy cannot have wildcards
  	:	type
  	;
  
  
negative.code: // 2. Aliases always take on the package name of the aliased class.
  // 3. Aliases cannot conflict with class names or other class aliases.
  aliasableView
  	:	aClass ( AS alias )?		// Should class aliases be able to specify a different package?
  	;
  	
  nonAliasableView
  