[class.ctor], [class.dtor] Introduce actual definitions for

"constructor" and "prospective destructor".

Author: zygoloid

source/classes.tex

@@ -1224,8 +1224,8 @@
 \indextext{special member function|see{constructor}}%
 
 \pnum
-Constructors do not have names.
-In a declaration of a constructor, the \grammarterm{declarator} is a
+A \defn{constructor} is introduced by a declaration
+whose \grammarterm{declarator} is a
 function declarator\iref{dcl.fct} of the form
 
 \begin{ncbnf}
@@ -1250,7 +1250,7 @@
 \grammarterm{id-expression} is a \grammarterm{qualified-id} that names a
 constructor\iref{class.qual}.
 \end{itemize}
-
+Constructors do not have names.
 In a constructor declaration, each \grammarterm{decl-specifier} in the optional
 \grammarterm{decl-specifier-seq} shall be \tcode{friend}, \tcode{inline},
 \tcode{constexpr}, or an \grammarterm{explicit-specifier}.
@@ -2112,7 +2112,8 @@
 \indextext{special member function|see{destructor}}%
 
 \pnum
-In a declaration of a prospective destructor, the \grammarterm{declarator} is a
+A \defnadj{prospective}{destructor} is introduced by a declaration
+whose \grammarterm{declarator} is a
 function declarator\iref{dcl.fct} of the form
 
 \begin{ncbnf}

source/templates.tex

@@ -6427,7 +6427,7 @@
 members that have been defined at the point of instantiation.
 
 \pnum
-An explicit instantiation of a prospective destructor
+An explicit instantiation of a prospective destructor\iref{class.dtor}
 shall name the selected destructor of the class.
 
 \pnum