* feat(constructs): add structured check intent

* fix(constructs): keep check intent state in sync

* refactor(constructs): model check intent as constraints

* refactor(constructs): uppercase intent constraint types

* fix(constructs): use constraint-shaped intent wire format