Some classes and a program were renamed since they were not fully implicit solvers despite their names indicating it.