Defining new trait types

To define a new trait type, subclass from TraitType. You can define the following things:

For instance, here's the definition of the TCPAddress trait: