change andB and orB to be class methods of MonotoneBoolean type class
use ToySolver.Data.Boolean module to construct boolean formula in variaous modules