Small fix in the constraint solver.
Monadic constraint solver: work in progress.