simplify code by using fmap of the Rel type
suppress warnings
clean up ToySolver.Data.ArithRel a little