There is now only one solver type; every preconditioner is a solver, just not a very good one