anchor.diff:      ;
   
   userAnnotation 
  -    : annotationName ( arguments | literal )?
  +    : annotationName ( arguments | literal | reflectedBase (reflectedMember)* )?
       ;
   
   typeName
  
positive.code: 
  stringLiteral
      : SIMPLESTRINGLITERAL
      | LEFTSTRINGLITERAL expression RIGHTSTRINGLITERAL 
      ;
  
  assignable 
      : (functorStart) => functor
      | expression
      ;
  
  functorStart
      : 'functor' | formalParameterStart
      ;
  
  //This one is fully general
  
negative.code:     : regularType
      | memberName
      | literal
      | (primaryFunctorStart) => primaryFunctor
      | parExpression
      | enumeration
      | 'this' 
  