anchor.diff:      : '{' declarationOrStatement* directiveStatement? '}'
       ;
   
  -inlineClassDeclaration
  +/*inlineClassDeclaration
       : 'new' 
         annotations?
         type
         positionalArguments?
         satisfiedTypes?
         inlineClassBody
  -    ;
  +    ;*/
   
   inlineClassBody
       : '{' declarationOrStatement* '}'
  
positive.code:     ;
  
  functionalMemberDefinition
      : memberParameters? block
      //allow omission of braces:
      /*: ( (memberParameterStart) => memberParameters )? 
        ( ('{') => block | implicationExpression ';' )*/
  
negative.code: 
  type
      : qualifiedTypeName ( (typeParameterStart) => typeArguments )?
      | 'subtype'
      ;
  
  annotations
  