Solver module is now functorised. 'make' now compiles.
Everything has now been properly indented with ocp-indent.