Use the Reader monad for variable binding

[lexvanderstoep]

In the various steps of the SAT solver, the variable binding is being passed around functions when trying to find a satisfying interpretation.

It would be cleaner to use the Reader monad instead to pass this shared variable (variable mapping) around.

See Control.Monad.Reader