Constraints everywhere

[TathagataChakraborti]

• [x] in outputs
• [x] in inputs
• [x] in initial state
• [x] in goal state
• [ ] as floating constraint on the flow, as used in sketches. [example]