Constraints also solve the main problem I was facing with prototyping such some tooling which was "how do you model a requirement"
To which I think the answer is "through a combination of natural language and linked constraints"
And that is actually tractable!