Removed solver_types module in solver.Make functor