Semantically resolved pointer-to-non-static-member (#157)

* Semantically resolved pointer-to-non-static-member

Document a dedicated operator for representing a fully semantically resolved pointer to non-static member (data or function).

Author: GabrielDosReis

ltx/exprs.tex

@@ -1244,7 +1244,7 @@ \subsection{\valueTag{ExprSort::UnaryFold}}
 \partition{expr.unary-fold}
 
 
-\subsection{\valueTag{ExprSort::BinaryFoid}}
+\subsection{\valueTag{ExprSort::BinaryFold}}
 \label{sec:ifc:ExprSort:BinaryFold}
 
 \begin{figure}[H]
@@ -2231,6 +2231,7 @@ \subsection{Dyadic operators}
 	\enumerator{ZeroInitialize}
 	\enumerator{ClearStorage}
 	\enumerator{Select}
+	\enumerator{Address}
 
 	\setcounter{enumi}{1023}
 	\enumerator{Msvc}
@@ -2477,6 +2478,13 @@ \subsection{Dyadic operators}
 Use of the source-level scope resolution operator ``\code{::}''.
 The first operand designates the scope, and the second operand designates the member to select.
 
+\ifcSortSection{Address}{DyadicOperator}
+Semantic resolution of a pointer to a non-static member of a class.  The first operand designates the class-type scope, 
+and the second operand designates the member of the class.
+\note{While the source-level construct ``\code{&S::m}'' is generally represented as a \sortref{Address}{MonadicOperator} of
+	a \sortref{Select}{DyadicOperator} syntactic tree (especially in template code), this specific operator is used only 
+	when the scope is known to be a class-type and the member is known to be a non-static data member or a non-static member function.}
+
 \ifcSortSection{Msvc}{DyadicOperator}
 This is a marker, not an actual operator. Dyadic operators with 
 value greater that this are MSVC extensions.