Added proper implicit for solvers, making the syntax a bit more terse.