LWG3753 Clarify entity vs. freestanding entity

Fixes NB GB 075 (C++23 CD).

Author: burblebee

source/lib-intro.tex

@@ -914,52 +914,70 @@
 \pnum
 An implementation may use any technique that provides equivalent observable behavior.
 
-\rSec3[freestanding.entity]{Freestanding entities}
+\rSec3[freestanding.item]{Freestanding items}
 
 \pnum
-\indextext{entity!freestanding|see{freestanding entity}}%
-A \defn{freestanding entity} is a declaration or macro definition
-that is present in a freestanding implementation and a hosted implementation.
+\indextext{item!freestanding|see{freestanding item}}%
+A \defn{freestanding item} is
+a declaration, entity, \grammarterm{typedef-name}, or macro
+that is required to be present in
+a freestanding implementation and a hosted implementation.
 
 \pnum
 Unless otherwise specified,
-the requirements on freestanding entities on a freestanding implementation
-are the same as the corresponding requirements in a hosted implementation.
+the requirements on freestanding items for a freestanding implementation
+are the same as the corresponding requirements for a hosted implementation,
+except that not all of the members of the namespaces are required to be present.
+\begin{note}
+This implies that freestanding item enumerations have the same enumerators on
+freestanding implementations and hosted implementations.
+Furthermore, class types have the same members and
+class templates have the same deduction guides
+on freestanding implementations and hosted implementations.
+\end{note}
+
+\pnum
+\indextext{declaration!freestanding item}%
+A declaration in a header synopsis is a freestanding item if
+\begin{itemize}
+\item it is followed by a comment that includes \textit{freestanding}, or
+\item the header synopsis begins with a comment that includes \textit{all freestanding}.
+\end{itemize}
+
+\pnum
+\indextext{entity!freestanding item}%
+\indextext{\idxgram{typedef-name}!freestanding item}%
+An entity or \grammarterm{typedef-name} is a freestanding item if it is:
+\begin{itemize}
+\item introduced by a declaration that is a freestanding item,
+\item an enclosing namespace of a freestanding item,
+\item a friend of a freestanding item,
+\item denoted by a \grammarterm{typedef-name} that is a freestanding item, or
+\item denoted by an alias template that is a freestanding item.
+\end{itemize}
+
+\pnum
+\indextext{macro!freestanding item}%
+A macro is a freestanding item if it is defined in a header synopsis and
+\begin{itemize}
+\item the definition is followed by a comment that includes \textit{freestanding}, or
+\item the header synopsis begins with a comment that includes \textit{all freestanding}.
+\end{itemize}
 
 \pnum
-In a header synopsis, entities followed with a comment
-that includes \textit{freestanding} are freestanding entities.
 \begin{example}
 \begin{codeblock}
 #define NULL @\seebelow@      // freestanding
 \end{codeblock}
 \end{example}
 
-\pnum
-If a header synopsis begins with a comment
-that includes \textit{all freestanding},
-then all of the declarations and macro definitions in the header synopsis
-are freestanding entities.
 \begin{example}
 \begin{codeblock}
 // all freestanding
 namespace std {
 \end{codeblock}
 \end{example}
 
-\pnum
-Deduction guides for freestanding entity class templates are freestanding entities.
-
-\pnum
-Enclosing namespaces of freestanding entities are freestanding entities.
-
-\pnum
-Friends of freestanding entities are freestanding entities.
-
-\pnum
-Entities denoted by freestanding entity \grammarterm{typedef-name}{s} and
-freestanding entity alias templates are freestanding entities.
-
 \rSec1[requirements]{Library-wide requirements}
 
 \rSec2[requirements.general]{General}
@@ -1480,7 +1498,7 @@
 \pnum
 For each of the headers listed in \tref{headers.cpp.fs},
 a freestanding implementation provides at least
-the freestanding entities\iref{freestanding.entity} declared in the header.
+the freestanding items\iref{freestanding.item} declared in the header.
 \indextext{implementation!freestanding|)}%
 
 \pnum

source/utilities.tex

@@ -11833,7 +11833,8 @@
 \indextext{function object!binders|)}
 
 \pnum
-Placeholders are freestanding entities\iref{freestanding.entity}.
+\indextext{placeholders!freestanding item}%
+Placeholders are freestanding items\iref{freestanding.item}.
 
 \rSec2[func.memfn]{Function template \tcode{mem_fn}}%
 \indextext{function object!\idxcode{mem_fn}|(}