Removed some debug code.
Monadic constraint solver: extended, refactored, commented.