Updating publication date. Gen final versoins.
Add speculative wording for template names.
Define normalization separately from constraints.

Restructure 14.9.
Update section ids for requires clauses.