anchor.diff:          typeName
           typeParameters?
           caseTypes?
  +        typeClass?
           satisfiedTypes?
           typeConstraints?
           interfaceBody
  
positive.code:     | memberName
      ;
  
  typeConstraint
      : 'given' typeName formalParameters? satisfiedTypes? abstractedType?
      -> ^(TYPE_CONSTRAINT typeName formalParameters? satisfiedTypes? abstractedType?)
      ;
      
  
negative.code:     ;
  
  nameAndTypeArguments
      : ( memberName | typeName | 'subtype' ) 
        ( (typeArguments) => typeArguments )?
      ;
  
  