[structure.specifications] Do not use library description macros in running text

This avoids colons in running text and some bad spacing.

Author: jensmaurer

source/lib-intro.tex

@@ -509,18 +509,18 @@
 \end{itemize}
 
 \pnum
-Whenever the \effects element specifies that the semantics of some function
+Whenever the \Fundescx{Effects} element specifies that the semantics of some function
 \tcode{F} are \techterm{Equivalent to} some code sequence, then the various elements are
-interpreted as follows. If \tcode{F}'s semantics specifies a \requires element, then
+interpreted as follows. If \tcode{F}'s semantics specifies a \Fundescx{Requires} element, then
 that requirement is logically imposed prior to the \techterm{equivalent-to} semantics.
-Next, the semantics of the code sequence are determined by the \requires, \effects,
-\sync, \postconditions, \returns, \throws, \complexity, \remarks, and \errors
+Next, the semantics of the code sequence are determined by the \Fundescx{Requires}, \Fundescx{Effects},
+\Fundescx{Synchronization}, \Fundescx{Postconditions}, \Fundescx{Returns}, \Fundescx{Throws}, \Fundescx{Complexity}, \Fundescx{Remarks}, and \Fundescx{Error conditions}
 specified for the function invocations contained in the code sequence. The value
-returned from \tcode{F} is specified by \tcode{F}'s \returns element, or if \tcode{F}
-has no \returns element, a non-\tcode{void} return from \tcode{F} is specified by the
+returned from \tcode{F} is specified by \tcode{F}'s \Fundescx{Returns} element, or if \tcode{F}
+has no \Fundescx{Returns} element, a non-\tcode{void} return from \tcode{F} is specified by the
 \tcode{return} statements in the code sequence.
-If \tcode{F}'s semantics contains a \throws,
-\postconditions, or \complexity element, then that supersedes any occurrences of that
+If \tcode{F}'s semantics contains a \Fundescx{Throws},
+\Fundescx{Postconditions}, or \Fundescx{Complexity} element, then that supersedes any occurrences of that
 element in the code sequence.
 
 \pnum
@@ -553,7 +553,7 @@
 \rSec3[structure.see.also]{C library}
 
 \pnum
-Paragraphs labeled ``\xref'' contain cross-references to the relevant portions
+Paragraphs labeled ``\textsc{See also}'' contain cross-references to the relevant portions
 of the ISO C standard.
 
 \rSec2[conventions]{Other conventions}