anchor.diff:      | 'object'
       | 'choice'
       | 'alias'
  -    | 'specify'
       ;
   
   //by making these things keywords, we reduce the amount of
  
positive.code: //      style parameters below?
  memberDefinition
      : memberParameters?
        ( /*'...' |*/ block | structured | (specifier | initializer)? ';'! )
      ;
      
  interfaceDeclaration
  
negative.code:     ;
  
  memberParameters
      : typeParameters? formalParameters+ extraFormalParameters typeClass? typeConstraints?
      ;
  
  //TODO: should we allow the shortcut style of method
  