Bug fixes and improvements for symmetry breaking, it now supports multiple sorts.  Working on monotonicity inference.