anchor.diff:      ;
   
   caseType 
  -    : type | memberName
  +    : type 
  +    //| (annotations? 'case' memberName) => annotations? 'case' memberName 
  +    | memberName
       ;
   
   typeConstraint
  
positive.code:         'interface'!
          typeName
          typeParameters?
          satisfiedTypes?
          typeConstraints?
          interfaceBody
  
negative.code:     ;
  
  throwDirective
      : 'throw' expression? //| '...'
      -> ^(THROW_STMT expression?)
      ;
  
  