improve default implementation of andB and orB of MonotoneBoolean type class
add ToySolver.Data.BoolExpr module