/lively4-constraints/doc/architecture