Namespace types

Interface for classes which implement equality checking.

Constructs a type by excluding undefined from T.