Improved documentation of SolverImpl slightly