[exec] Add \exposid for decayed-tuple (#7183)

Author: hewillk

source/exec.tex

@@ -2996,7 +2996,7 @@
 named by \tcode{completion_signatures_of_t<child-type<Sndr>, env_of_t<Rcvr>>}.
 Let \exposid{as-tuple} be an alias template
 that transforms a completion signature \tcode{Tag(Args...)} into
-the tuple specialization \tcode{decayed-tuple<Tag, Args...>}.
+the tuple specialization \tcode{\exposid{decayed-tuple}<Tag, Args...>}.
 Then \tcode{variant_t} denotes
 the type \tcode{variant<monostate, \exposid{as-tuple}<Sigs>...>},
 except with duplicate types removed.
@@ -4164,7 +4164,7 @@
 \pnum
 The alias \tcode{values_tuple} denotes the type
 \begin{codeblock}
-tuple<value_types_of_t<Sndrs, env_of_t<Rcvr>, decayed-tuple, optional>...>
+tuple<value_types_of_t<Sndrs, env_of_t<Rcvr>, @\exposid{decayed-tuple}@, optional>...>
 \end{codeblock}
 if that type is well-formed; otherwise, \tcode{tuple<>}.
 
@@ -4283,7 +4283,7 @@
   return;
 }
 \end{codeblock}
-if the expression \tcode{decayed-tuple<decltype(as)...>\{as...\}}
+if the expression \tcode{\exposid{decayed-tuple}<decltype(as)...>\{as...\}}
 is potentially throwing;
 otherwise, \tcode{o.emplace(\linebreak as...)}.