Done with the internationalisation of our solvers (closes #180). Quite a bit of cleaning up too.