[temp.constr.order] Reflect fold expanded constraints in footnotes

Author: jensmaurer

source/templates.tex

@@ -2023,7 +2023,7 @@
 in the disjunctive normal form
 \begin{footnote}
 A constraint is in disjunctive normal form when it is a disjunction of
-clauses where each clause is a conjunction of atomic constraints.
+clauses where each clause is a conjunction of fold expanded or atomic constraints.
 For atomic constraints $A$, $B$, and $C$, the disjunctive normal form
 of the constraint
 $A \land (B \lor C)$
@@ -2036,7 +2036,7 @@
 in the conjunctive normal form
 \begin{footnote}
 A constraint is in conjunctive normal form when it is a conjunction
-of clauses where each clause is a disjunction of atomic constraints.
+of clauses where each clause is a disjunction of fold expanded or atomic constraints.
 For atomic constraints $A$, $B$, and $C$, the constraint
 $A \land (B \lor C)$ is in conjunctive normal form.
 %