did some cleanup on Solver.hs using hlint