[basic.link] Modernize wording about type aliases

Author: lprv

source/basic.tex

@@ -3138,7 +3138,7 @@
 If one declares $E$ to be a concept, the other shall do so.
 \end{itemize}
 Types are compared after all adjustments of types (during which
-typedefs\iref{dcl.typedef} are replaced by their definitions);
+type aliases\iref{dcl.typedef} are replaced by the types they denote);
 declarations for an array
 object can specify array types that differ by the presence or absence of
 a major array bound\iref{dcl.array}.