anchor.diff:  //kind of expressions that can appear as arguments to
   //the annotation
   userAnnotation 
  -    : annotationName ( annotationArguments | arguments )?
  +    : annotationName annotationArguments?
       ;
   
   annotationArguments
  -    : ( literal | reflectedLiteral )+
  -    ;
  -
  -//TODO: why can't I get the typeArguments in here??
  -reflectedLiteral
  -    : qualifiedTypeName reflectedMember
  -    | reflectedBase
  +    : arguments | ( literal | reflectedLiteral )+
  +    ;
  +
  +reflectedLiteral 
  +    : '#' ( memberName | (type ( '.' memberName )? ) )
       ;
   
   qualifiedTypeName
  
positive.code: 
  NONEMPTY
      :   'nonempty'
      ;
  
  PRODUCE
  
negative.code: arguments 
      : positionalArguments | namedArguments
      ;
      
  namedArgument
      : parameterName specifier /*(',' assignable)**/ ';'
      ;
  