LWG4422 meta::access_context should be a consteval-only type

Editorial note:
* Inserted the words "The type" at the beginning of the sentence both
  to avoid starting a sentence with a symbol and to improve paragraph
  composition.

Author: eisenwave

source/meta.tex

@@ -5079,8 +5079,8 @@
 \rSec2[meta.reflection.access.context]{Access control context}
 
 \pnum
-The \tcode{access_context} class is a non-aggregate type
-that represents a namespace, class, or function
+The class \tcode{access_context}
+represents a namespace, class, or function
 from which queries pertaining to access rules may be performed,
 as well as the designating class\iref{class.access.base}, if any.
 
@@ -5106,12 +5106,11 @@
 \end{codeblock}
 
 \pnum
-\tcode{access_context} is a structural type.
+The type \tcode{access_context} is a structural, consteval-only, non-aggregate type.
 Two values \tcode{ac1} and \tcode{ac2} of type \tcode{access_context}
 are template-argument-equivalent\iref{temp.type}
-if \tcode{ac1.scope()} and \tcode{ac2.scope()}
-are template-argument-equivalent
-and \tcode{ac1.desig\-nating_class()} and \tcode{ac2.desig\-nating_class()}
+if \tcode{ac1.scope()} and \tcode{ac2.scope()} are template-argument-equivalent
+and \tcode{ac1.designating_class()} and \tcode{ac2.designating_class()}
 are template-argument-equivalent.
 
 \begin{itemdecl}