Rename Types.hs to Solver.hs