[over.match.class.deduct] Fix terminology

An element with a dependent type might not be a subaggregate
Add cross-reference

Author: opensdh

source/overloading.tex

@@ -1549,7 +1549,8 @@
 \end{itemize}
 \end{itemize}
 In addition, if \tcode{C} is defined
-and its definition satisfies the conditions for an aggregate class
+and its definition satisfies the conditions for
+an aggregate class\iref{dcl.init.aggr}
 with the assumption that any dependent base class has
 no virtual functions and no virtual base classes, and
 the initializer is a non-empty \grammarterm{braced-init-list} or
@@ -1564,7 +1565,7 @@
 For each $x_i$, let $e_i$ be the corresponding element
 of \tcode{C} or of one of its (possibly recursive) subaggregates
 that would be initialized by $x_i$\iref{dcl.init.aggr}
-if brace elision is not considered for any subaggregate
+if brace elision is not considered for any element
 that has a dependent type.
 If there is no such element $e_i$, the program is ill-formed.
 The aggregate deduction candidate is derived as above