[pairs.spec], [tuple.creation] Avoid 'equality' of types phrasing. (#1212)

Fixes #491.

Author: jensmaurer

source/utilities.tex

@@ -1251,9 +1251,9 @@
 \pnum
 \returns \tcode{pair<V1, V2>(std::forward<T1>(x), std::forward<T2>(y))},
 where \tcode{V1} and \tcode{V2} are determined as follows: Let \tcode{Ui} be
-\tcode{decay_t<Ti>} for each \tcode{Ti}. Then each \tcode{Vi} is \tcode{X\&}
-if \tcode{Ui} equals \tcode{reference_wrapper<X>}, otherwise \tcode{Vi} is
-\tcode{Ui}.
+\tcode{decay_t<Ti>} for each \tcode{Ti}. If \tcode{Ui} is a specialization
+of \tcode{reference_wrapper}, then \tcode{Vi} is \tcode{Ui::type\&},
+otherwise \tcode{Vi} is \tcode{Ui}.
 \end{itemdescr}
 
 \pnum
@@ -1981,9 +1981,9 @@
 \end{itemdecl}
 
 \begin{itemdescr} \pnum Let \tcode{$U_i$} be \tcode{decay_t<$T_i$>} for each
-$T_i$ in \tcode{Types}. Then each $V_i$ in \tcode{VTypes} is
-\tcode{X\&} if $U_i$ equals \tcode{reference_wrapper<X>}, otherwise
-$V_i$ is $U_i$.
+$T_i$ in \tcode{Types}. If $U_i$ is a specialization of
+\tcode{reference_wrapper}, then $V_i$ in \tcode{VTypes} is \tcode{$U_i$::type\&},
+otherwise $V_i$ is $U_i$.
 
 \pnum
 \returns \tcode{tuple<VTypes...>(std::forward<Types>(t)...)}.