[exec.recv.concepts] Mark exposition-only concepts as such (#7540)

Author: ericniebler

source/exec.tex

@@ -1095,15 +1095,15 @@
       @\libconcept{constructible_from}@<remove_cvref_t<Rcvr>, Rcvr>;   // lvalues are copyable
 
   template<class Signature, class Rcvr>
-    concept @\defexposconcept{valid-completion-for}@ =
+    concept @\defexposconcept{valid-completion-for}@ =                 // \expos
       requires (Signature* sig) {
         []<class Tag, class... Args>(Tag(*)(Args...))
             requires @\exposconcept{callable}@<Tag, remove_cvref_t<Rcvr>, Args...>
         {}(sig);
       };
 
   template<class Rcvr, class Completions>
-    concept @\defexposconcept{has-completions}@ =
+    concept @\defexposconcept{has-completions}@ =                      // \expos
       requires (Completions* completions) {
         []<@\exposconcept{valid-completion-for}@<Rcvr>...Sigs>(completion_signatures<Sigs...>*)
         {}(completions);