anchor.diff:          formalParameters
           extraFormalParameters
           caseTypes?
  +        typeClass?
           extendedType?
           satisfiedTypes?
           typeConstraints?
  
positive.code:     ;
  
  nameAndTypeArguments
      : ( memberName | typeName ) 
        ( (typeArguments) => typeArguments )?
      ;
  
  
negative.code:         typeName
          typeParameters?
          caseTypes?
          typeClass?
          satisfiedTypes?
          typeConstraints?
          interfaceBody
  