Provides type classes for representing the TIP type system.