not all types have a type object (the paragraph is still not good)

Author: gfldex

doc/Language/typesystem.pod6

@@ -7,13 +7,13 @@
 =head1 Definition of a Perl 6 Type
 
 A type defines a new object by creating a type object that provides an
-interface to create instances of objects. Any type object is a subclass of
-L<Any|/type/Mu> or L<Mu|/type/Mu>. Introspection methods are provided via
-inheritance from those base classes and the introspection postfix
-L<.^|/language/operators#postfix_.^>. A new type is introduced to the current
-scope by one of the following type declarators at compile time or with the
-L<meta object protocol|/language/mop> at runtime. All type object names must be
-unique in their scope.
+interface to create instances of objects or to check values against. Any type
+object is a subclass of L<Any|/type/Mu> or L<Mu|/type/Mu>. Introspection
+methods are provided via inheritance from those base classes and the
+introspection postfix L<.^|/language/operators#postfix_.^>. A new type is
+introduced to the current scope by one of the following type declarators at
+compile time or with the L<meta object protocol|/language/mop> at runtime. All
+type names must be unique in their scope.
 
 =head2 Type objects