The type system.
@since Ptolemy II 0.2