docs: rework constraint section

We recently reworked the domain modeling and nav, but haven't looked into the Constraint section yet.
This task is to look at the constraint section, and make sure it's up to date, including newer concepts like ConstraintInfo` and `ConstraintGroupInfo`.