=item B<equals ($type_name_or_object)>
-This checks the current type against the supplied type (only).
-Returns false either if the type name or object supplied
-does not match, or if a type name isn't found in the type registry.
+This checks the current type against the supplied type (only).
+Returns false if the two types are not equal. It also returns false if
+you provide the type as a name, and the type name isn't found in the
+type registry.
=item B<is_a_type_of ($type_name_or_object)>
This checks the current type against the supplied type, or if the
-current type is a sub-type of the type name or object supplied.
-Returns false if the current type is not descended from the supplied
-type, of if the supplied type isn't found in the type registry.
+current type is a sub-type of the type name or object supplied. It
+also returns false if you provide the type as a name, and the type
+name isn't found in the type registry.
=item B<is_subtype_of ($type_name_or_object)>
-This checks the current type is a sub-type of the type name or object supplied.
-Returns false if the current type is not descended from the supplied
-type, of if the supplied type isn't found in the type registry.
+This checks the current type is a sub-type of the type name or object
+supplied. It also returns false if you provide the type as a name, and
+the type name isn't found in the type registry.
=item B<compile_type_constraint>
=item B<parent>
-The parent type of this type.
+This type's parent type.
=item B<has_parent>
-If this type has a parent type.
+Returns true if this type has a parent type.
=item B<parents>
This is just sugar for the type constraint construction syntax.
-Takes a block/code ref as an argument. When the type constraint is tested,
-the supplied code is run with the value to be tested in $_. Returning
-a true value indicates that the type constraint passes, a false value
-indicates that it failed.
+Takes a block/code ref as an argument. When the type constraint is
+tested, the supplied code is run with the value to be tested in
+$_. This block should return true or false to indicate whether or not
+the constraint check passed.
=item B<message>
This is just sugar for the type constraint construction syntax.
Takes a block/code ref as an argument. When the type constraint fails,
-then the code block is run (with the value again in $_), and the value
-returned is the text of the exception which is thrown.
+then the code block is run (with the value provided in $_). This code
+ref should return a string, which will be used in the text of the
+exception thrown.
=item B<optimize_as>