anchor.diff:      ;
   
   type
  -    : (unabbreviatedType typeAbbreviation) => 
  -          typeAsArgument (typeAbbreviationAsArgument^)* typeAbbreviation^
  -    | unabbreviatedType
  +    : (unabbreviatedType -> unabbreviatedType) 
  +      (typeAbbreviation -> ^(TYPE typeAbbreviation ^(TYPE_ARG_LIST $type)))*
       ;
   
   unabbreviatedType
  
positive.code: //expressions
  declarationStart
      : declarationKeyword 
      | unabbreviatedType typeAbbreviation* '...'? LIDENTIFIER
      ;
  
  declarationKeyword
  
negative.code:     -> ^(TYPE parameterName 'subtype' abbreviation*)*/
      ;
  
  typeAbbreviation
      : '?' | '[]'
      //| '[' dimension ']'
      ;
  
  