[meta.trans.other] Use "declare" for typedef-names

In the example, it seems a bit verbose to say "declarations and
definitions".

Author: frederick-vs-ja

source/meta.tex

@@ -1949,7 +1949,7 @@
  \tcode{template<class... T>} \tcode{struct common_type;}
  &
  Unless this trait is specialized,
- the member \tcode{type} is defined or omitted as specified below.
+ the member \tcode{type} is declared or omitted as specified below.
  If it is omitted, there shall be no member \tcode{type}.
  Each type in the template parameter pack \tcode{T} shall be
  complete, \cv{}~\keyword{void}, or an array of unknown bound. \\ \rowsep
@@ -1965,7 +1965,7 @@
 
 \tcode{template<class... T>} \tcode{struct \libglobal{common_reference};}
  &
- The member \grammarterm{typedef-name} \tcode{type} is defined or omitted
+ The member \grammarterm{typedef-name} \tcode{type} is declared or omitted
  as specified below. Each type in the parameter pack \tcode{T} shall
  be complete or \cv{} \keyword{void}. \\ \rowsep
 
@@ -2075,7 +2075,7 @@
 
 \pnum
 For the \tcode{common_type} trait applied to a template parameter pack \tcode{T} of types,
-the member \tcode{type} shall be either defined or not present as follows:
+the member \tcode{type} shall be either declared or not present as follows:
 
 \begin{itemize}
 \item If \tcode{sizeof...(T)} is zero, there shall be no member \tcode{type}.
@@ -2148,7 +2148,7 @@
 
 \pnum
 For the \tcode{common_reference} trait applied to a parameter pack
-\tcode{T} of types, the member \tcode{type} shall be either defined or not
+\tcode{T} of types, the member \tcode{type} shall be either declared or not
 present as follows:
 \begin{itemize}
 \item If \tcode{sizeof...(T)} is zero, there shall be no member \tcode{type}.
@@ -2218,7 +2218,7 @@
 
 \pnum
 \begin{example}
-Given these definitions:
+Given these declarations:
 \begin{codeblock}
 using PF1 = bool  (&)();
 using PF2 = short (*)(long);