Fix capitalization, wording.
Update section ids for constraints.
Fixing wording and references.
Wording and formatting.