Apply Hubert's feedback

Author: cor3ntin

source/templates.tex

@@ -3455,7 +3455,7 @@
 \pnum
 A constant template argument is non-specialized if it is the name of a constant
 template parameter.
-All other constant arguments are specialized.
+All other constant template arguments are specialized.
 
 \pnum
 Within the argument list of a partial specialization,
@@ -7568,7 +7568,8 @@
 \item
 the specified member is not a template where a template is required, or
 \item
-the specified member is not a constant where a constant is required.
+the specified member is not a non-type, non-template where a non-type,
+non-template is required.
 \end{itemize}
 \begin{example}
 \begin{codeblock}
@@ -7590,7 +7591,7 @@
   // Deduction fails in each of these cases:
   f<A>(0);          // \tcode{A} does not contain a member \tcode{Y}
   f<B>(0);          // The \tcode{Y} member of \tcode{B} is not a type
-  g<C>(0);          // The \tcode{N} member of \tcode{C} is not a constant
+  g<C>(0);          // The \tcode{N} member of \tcode{C} is not a non-type, non-template name
   h<D>(0);          // The \tcode{TT} member of \tcode{D} is not a template
 }
 \end{codeblock}
@@ -8326,7 +8327,7 @@
 \tcode{A}),
 and an attempt is made to find template argument values (a type for a type
 parameter, a value for a constant template parameter, or a template for a
-template parameter) that will make
+template template parameter) that will make
 \tcode{P},
 after substitution of the deduced values (call it the deduced
 \tcode{A}),