anchor.diff:  	:	ANNOTATION
   	;
   
  -taxonomy		// taxonomy cannot have wildcards
  +taxonomy	// taxonomy cannot have wildcards
   	:	type
   	;
   
  
positive.code: 
  /*
   * Notes:
   * 1. Includes are evaluated before excludes.
   * 2. Wildcards are resolved at runtime.
   * 3. Two representations of taxonomies:
   *    3.1. Raw: output of compilation; includes symbols with wildcards
   *    3.2.. 
   */
  
  
  
negative.code: 	;
  	
  simpleType
  	:	identifier
  	;
  	
  alias		// aliases cannot have wildcards
  	:	identifier
  	;
  	
  