SatMonad now constant and not part of SatisfyConstraint_
Pass around the Constraint Proxy