[IMP] doc: improve section on constraints