Simplify the coordinates constructors
Various cleanup in Solver333