anchor.diff:          typeParameters?
           formalParameters
           extraFormalParameters
  +        caseTypes?
           extendedType?
           satisfiedTypes?
           typeConstraints?
  
positive.code:     ;
  
  caseType 
      : type | memberName
      ;
  
  typeConstraint
  
negative.code: 
  EXTENDS
      :   'extends'
      ;
  
  FINALLY
  