Store constraints as values that can be inspected and manipulated

[mdiep]

In order to optimize based on constraints, we need to be able to inspect constraints to some extent—instead of immediately evaluating them.