anchor.diff:      : '<'
       ;
   
  -//this permits method with an expression instead of a body
   methodDefinition
  -    : typeParameters? formalParameters typeConstraints? ( block | simpleExpression? ';' )
  -    ;
  -
  -//this permits attributes with an expression instead of a body
  +    : typeParameters? formalParameters typeConstraints? ( block | ';' )
  +    ;
  +
   attributeDefinition
  -    : block | (initializer | simpleExpression)? ';'
  +    : block | initializer ';'
       ;
   
   decoratorDeclaration
  
positive.code: //This one is fully general
  assignable 
      : (functorStart) => functor
      | enumeration
      | expression
      ;
  
  //This one is for use as a functor body
  simpleAssignable 
      : (functorStart) => functor
      | enumeration	
      | simpleExpression
      ;
  
  functorStart
      : 'functor' | formalParameterStart
  
negative.code:     ;
  
  setter
      : 'assign' memberName block
      ;
      
  voidMethod 
  