[type.traits] Add references to tables

Fixes ISO/CS 001 (C++23 DIS).

Author: jensmaurer

source/meta.tex

@@ -634,7 +634,8 @@
 \rSec3[meta.unary.cat]{Primary type categories}
 
 \pnum
-The primary type categories correspond to the descriptions given in
+The primary type categories specified in \tref{meta.unary.cat}
+correspond to the descriptions given in
 subclause~\ref{basic.types} of the \Cpp{} standard.
 
 \pnum
@@ -720,8 +721,9 @@
 \rSec3[meta.unary.comp]{Composite type traits}
 
 \pnum
-These templates provide convenient compositions of the primary type
-categories, corresponding to the descriptions given in subclause~\ref{basic.types}.
+The templates specified in \tref{meta.unary.comp}
+provide convenient compositions of the primary type categories,
+corresponding to the descriptions given in subclause~\ref{basic.types}.
 
 \pnum
 For any given type \tcode{T}, the result of applying one of these templates to
@@ -768,8 +770,8 @@
 \rSec3[meta.unary.prop]{Type properties}
 
 \pnum
-These templates provide access to some of the more important
-properties of types.
+The templates specified in \tref{meta.unary.prop}
+provide access to some of the more important properties of types.
 
 \pnum
 It is unspecified whether the library defines any full or partial
@@ -1361,8 +1363,8 @@
 \rSec2[meta.unary.prop.query]{Type property queries}
 
 \pnum
-This subclause contains templates that may be used to query
-properties of types at compile time.
+The templates specified in \tref{meta.unary.prop.query}
+may be used to query properties of types at compile time.
 
 \begin{libreqtab2a}{Type property queries}{meta.unary.prop.query}
 \\ \topline
@@ -1429,8 +1431,8 @@
 \rSec2[meta.rel]{Relationships between types}
 
 \pnum
-This subclause contains templates that may be used to query
-relationships between types at compile time.
+The templates specified in \tref{meta.rel}
+may be used to query relationships between types at compile time.
 
 \pnum
 Each of these templates shall be a
@@ -1617,6 +1619,10 @@
 
 \rSec3[meta.trans.cv]{Const-volatile modifications}
 
+\pnum
+The templates specified in \tref{meta.trans.cv}
+add or remove cv-qualifications\iref{basic.type.qualifier}.
+
 \begin{libreqtab2a}{Const-volatile modifications}{meta.trans.cv}
 \\ \topline
 \lhdr{Template} &   \rhdr{Comments} \\ \capsep
@@ -1685,6 +1691,10 @@
 
 \rSec3[meta.trans.ref]{Reference modifications}
 
+\pnum
+The templates specified in \tref{meta.trans.ref}
+add or remove references.
+
 \begin{libreqtab2a}{Reference modifications}{meta.trans.ref}
 \\ \topline
 \lhdr{Template} &   \rhdr{Comments} \\ \capsep
@@ -1727,6 +1737,11 @@
 \end{libreqtab2a}
 
 \rSec3[meta.trans.sign]{Sign modifications}
+
+\pnum
+The templates specified in \tref{meta.trans.sign}
+convert an integer type to its corresponding signed or unsigned type.
+
 \begin{libreqtab2a}{Sign modifications}{meta.trans.sign}
 \\ \topline
 \lhdr{Template} &   \rhdr{Comments} \\ \capsep
@@ -1770,6 +1785,11 @@
 \end{libreqtab2a}
 
 \rSec3[meta.trans.arr]{Array modifications}
+
+\pnum
+The templates specified in \tref{meta.trans.arr}
+modify array types.
+
 \begin{libreqtab2a}{Array modifications}{meta.trans.arr}
 \\ \topline
 \lhdr{Template} &   \rhdr{Comments} \\ \capsep
@@ -1822,6 +1842,11 @@
 \end{example}
 
 \rSec3[meta.trans.ptr]{Pointer modifications}
+
+\pnum
+The templates specified in \tref{meta.trans.ptr}
+add or remove pointers.
+
 \begin{libreqtab2a}{Pointer modifications}{meta.trans.ptr}
 \\ \topline
 \lhdr{Template} &   \rhdr{Comments} \\ \capsep
@@ -1850,6 +1875,10 @@
 
 \rSec3[meta.trans.other]{Other transformations}
 
+\pnum
+The templates specified in \tref{meta.trans.other}
+perform other modifications of a type.
+
 \begin{libreqtab2a}{Other transformations}{meta.trans.other}
 \\ \topline
 \lhdr{Template}   &   \rhdr{Comments} \\ \capsep