An abstract interface for all classes that represent TFF types.
Determines whether two type definitions are identical.
Note that this notion of equality is stronger than equivalence. Two types with equivalent definitions may not be identical, e.g., if they represent templates with differently named type variables in their definitions.
other: The other type to compare against.
True iff type definitions are syntatically identical (as defined above), or
NotImplementedError: If not implemented in the derived class.