Avoid auto-generate '/type/*'

#1649

Author: tisonkun

doc/Language/typesystem.pod6

@@ -559,7 +559,7 @@ C<X::Comp::AdHoc> will be thrown.
     CATCH { default { say .^name, ' ', .Str } }
     # OUTPUT: «X::Comp::AdHoc Method 'overload-this' must be implemented by A because it is required by roles: R.␤»
 
-=head3 Role auto-punning
+=head3 Auto-punning
 
 A role can be used instead of a class to create objects. Since roles can't
 exist at runtime, a class of the same name is created that will type check
@@ -592,7 +592,7 @@ comma can be provided. In this case conflicts will be reported at compile time.
 
 For runtime mixins see L<but|/language/operators#infix_but> and L<does|/language/operators#infix_does>.
 
-=head3 Role Parameters
+=head3 Parameterized
 
 Roles can be provided with parameters in-between C<[]> behind a roles name.
 X<|Type Capture (role)>L<Type captures|/type/Signature#Type_Captures> are supported.
@@ -620,7 +620,7 @@ Default parameters can be provided.
     CATCH { default { say .^name, ': ', .Str} }
     # OUTPUT: «X::AdHoc: Could not instantiate role 'R':␤Please provide a parameter to role R␤»
 
-=head3 Roles as Types
+=head3 As Type Constraints
 
 Roles can be used as type constraints wherever a type is expected. If a role is
 mixed in with C<does> or C<but>, its type-object is added to the type-object