anchor.diff:      | literal
       | parExpression
       | enumeration
  -    | 'this' 
  +    | specialValue
  +    //| inlineClassDeclaration
  +    ;
  +    
  +
  +specialValue
  +    : 'this' 
       | 'super' 
       | 'null'
       | 'none'
  -    //| inlineClassDeclaration
       ;
   
   enumeration
  
positive.code:     ;
  
  memberDefinition
      : functionalMemberDefinition
      | (specifier | initializer)? ';'
      ;
  
  functionalMemberDefinition
      : memberParameters? block
      //allow omission of braces:
      /*: ( (memberParameterStart) => memberParameters )? 
        ( ('{') => block | implicationExpression ';' )*/
      ;
  
  //shortcut functor expression that makes the parameter list 
  
negative.code: //assignment, it is actually right associative because
  //assignable can be an assignment
  statement 
      : expressionStatement
      | controlStructure
      ;
  
  expressionStatement
      : expression ';'
      ;
  
  directiveStatement
  