Updated .merlin
Cleaned up map module in formulas
Removed a warning in explanation.ml
Added Instanciated Sat Solver.