Rewrite requires expressions.
Wording fixes for requires exprs.
Reorganize constraints section.
Update date, fix formatting errors in temp.
Update generated docs.