[basic.pre,basic.link] Clarify 'declaration of entity' vs. namespace-alias

Author: jensmaurer

source/basic.tex

@@ -85,9 +85,16 @@
 The interpretation of a \grammarterm{for-range-declaration} produces
 one or more of the above\iref{stmt.ranged}.
 \end{note}
-An entity $E$ is denoted by the name (if any)
-that is introduced by a declaration of $E$ or
-by a \grammarterm{typedef-name} introduced by a declaration specifying $E$.
+An entity $E$ is denoted by
+\begin{itemize}
+\item
+the name (if any) that is introduced by a declaration of $E$, or
+\item
+a \grammarterm{typedef-name} introduced by a declaration specifying $E$, or
+\item
+a \grammarterm{namespace-alias} introduced by
+a \grammarterm{namespace-alias-definition} denoting $E$.
+\end{itemize}
 
 \pnum
 A \defn{variable} is introduced by the
@@ -2716,7 +2723,15 @@
 they both declare names with external linkage.
 \end{itemize}
 \begin{note}
-There are other circumstances in which declarations declare the same entity%
+An \grammarterm{alias-declaration}\iref{dcl.typedef},
+a \grammarterm{using-declarator}\iref{namespace.udecl}, or
+a \grammarterm{namespace-alias-definition}\iref{namespace.alias}
+does not declare any entities;
+a \grammarterm{typedef-name} or \grammarterm{namespace-alias}
+is not an entity\iref{basic.pre}.
+\end{note}
+\begin{note}
+There are other circumstances in which declarations declare the same entity
 \iref{dcl.link,temp.type,temp.spec.partial}.
 \end{note}