use Interval.simplestRationalWithin instead of Interval.pickup in ToySolver.Arith.FourierMotzkin
rewrite OmegaTest and FourierMotzkin to handle equality constraints directly
reduce dependency of Cooper on FourierMotzkin
change API of ToySolver.Arith.FourierMotzkin.FOL a little closer to other modules