Make changes as requested

Author: uzluisf

doc/Language/typesystem.pod6

@@ -536,22 +536,6 @@ attributes is not yet implemented. Please note that adding a multi candidate
 that differs only in its named parameters will add that candidate behind the
 already defined one and as such it won't be picked by the dispatcher.
 
-=head3 Versioning, authorship, and API
-
-Versioning, authorship, and API can be applied via the adverbs
-X«C«:ver<>»|:ver<> (class)», X«C«:auth<>»|:auth<> (class)», and
-X«C«:api<>»|:api<> (class)» respectively. All of them take a string as argument;
-for C<:ver> the string is converted to a L<Version|/type/Version> object,
-and for C<:api> the string is converted into the allomorph
-L«C«IntStr»|/type/IntStr». To query a class about its version, author, and API
-use C<.^ver>, C<.^auth>, and C<.^api> respectively.
-
-    class C:ver<4.2.3>:auth<me@here.local>:api<1> {}
-    say C.^ver;       # OUTPUT: «v4.2.3␤»
-    say C.^ver.parts; # OUTPUT: «(4 2 3)␤»
-    say C.^auth;      # OUTPUT: «me@here.local␤»
-    say C.^api;       # OUTPUT: «1␤»
-
 =head2 C<role>
 
 X<|declarator,role (typesystem)>
@@ -690,22 +674,6 @@ say [(75kg).^name, N(75kg).^name];
 # OUTPUT: «[Int+{SI-kilogram} Rat+{SI-Newton}]␤»
 =end code
 
-=head3 Versioning, authorship, and API
-
-Versioning, authorship, and API can be applied via the adverbs
-X«C«:ver<>»|:ver<> (role)», X«C«:auth<>»|:auth<> (role)», and
-X«C«:api<>»|:api<> (role)» respectively. All of them take a string as argument;
-for C<:ver> the string is converted to a L<Version|/type/Version> object,
-and for C<:api> the string is converted into the allomorph
-L«C«IntStr»|/type/IntStr». To query a role's version, author, and API
-use C<.^ver>, C<.^auth>, and C<.^api> respectively.
-
-    class R:ver<4.2.3>:auth<me@here.local>:api<1> {}
-    say R.^ver;       # OUTPUT: «v4.2.3␤»
-    say R.^ver.parts; # OUTPUT: «(4 2 3)␤»
-    say R.^auth;      # OUTPUT: «me@here.local␤»
-    say R.^api;       # OUTPUT: «1␤»
-
 X<|Enumeration; Enums; enum>
 =head2 C<enum>
 
@@ -908,21 +876,6 @@ another Raku program.
 
 For a full explanation see L<Modules|/language/modules>.
 
-=head3 Versioning, authorship, and API
-
-Versioning, authorship, and API can be applied via the adverbs
-C«:ver<>», C«:auth<>», and C«:api<>» respectively. All of them take a string as
-argument; for C<:ver> the string is converted to a L<Version|/type/Version> object,
-and for C<:api> the string is converted into the allomorph
-L«C«IntStr»|/type/IntStr». To query a module's version, author, and API
-use C<.^ver>, C<.^auth>, and C<.^api> respectively.
-
-    class M:ver<4.2.3>:auth<me@here.local>:api<1> {}
-    say M.^ver;       # OUTPUT: «v4.2.3␤»
-    say M.^ver.parts; # OUTPUT: «(4 2 3)␤»
-    say M.^auth;      # OUTPUT: «me@here.local␤»
-    say M.^api;       # OUTPUT: «1␤»
-
 =head2 C<package>
 
 Packages are nested namespaces of named program elements. Modules, classes and
@@ -938,22 +891,6 @@ are classes.
 
 For a full explanation see L<Grammars|/language/grammars>.
 
-=head3 Versioning, authorship, and API
-
-Versioning, authorship, and API can be applied via the adverbs
-X«C«:ver<>»|:ver<> (grammar)», X«C«:auth<>»|:auth<> (grammar)», and
-X«C«:api<>»|:api<> (grammar)» respectively. All of them take a string as argument;
-for C<:ver> the string is converted to a L<Version|/type/Version> object,
-and for C<:api> the string is converted into the allomorph
-L«C«IntStr»|/type/IntStr». To query a grammar about its version, author, and API
-use C<.^ver>, C<.^auth>, and C<.^api> respectively.
-
-    class G:ver<4.2.3>:auth<me@here.local>:api<1> {}
-    say G.^ver;       # OUTPUT: «v4.2.3␤»
-    say G.^ver.parts; # OUTPUT: «(4 2 3)␤»
-    say G.^auth;      # OUTPUT: «me@here.local␤»
-    say G.^api;       # OUTPUT: «1␤»
-
 =head2 C<subset>
 
 A X<C<subset>|subset> declares a new type that will re-dispatch to its base
@@ -993,6 +930,31 @@ X<|dynamic subset>
 require ::('YourModule');
 subset C where ::('YourModule::C');
 
+X«|:ver<>»X«|:auth<>»X«|:api<>»
+=head1 Versioning, authorship, and API version.
+
+When you declare a type, you can pass it a version, author, and/or API version,
+all of which you can subsequently introspect. The versioning, authorship,
+and/or API version of a type can be applied via the adverbs C«:ver<>»,
+C«:auth<>», and C«:api<>» respectively. All of them take a string as argument;
+for C<:ver> the string is converted to a L«C«Version»|/type/Version» object, and
+for C<:api> the string is converted into an
+L<allomorph|/language/glossary#index-entry-Allomorph>
+L«C«IntStr»|/type/IntStr» object. To query the version, author, and API version
+of a type use L<C<.^ver>|/type/Metamodel::Versioning#method_ver>,
+L<C<.^auth>|/type/Metamodel::Versioning#method_auth>, and
+L<C<.^api>|/type/Metamodel::Versioning#method_api> respectively, as illustrated
+down below by querying a C<class>.
+
+    class C:ver<4.2.3>:auth<me@here.local>:api<1> {}
+    say C.^ver;       # OUTPUT: «v4.2.3␤»
+    say C.^ver.parts; # OUTPUT: «(4 2 3)␤»
+    say C.^auth;      # OUTPUT: «me@here.local␤»
+    say C.^api;       # OUTPUT: «1␤»
+
+In a similar fashion, C<role>s, C<grammar>s, and C<module>s can be queried about
+the aforementioned information.
+
 =end pod
 
 # vim: expandtab softtabstop=4 shiftwidth=4 ft=perl6