Most of the way toward the new comparison representation. Need to finish Halfplane to Comparison conversion, and test.