See: Description
Provides the user-defined exceptions BadKind and Bounds, which are thrown by methods in in the class TypeCode.