use ToySolver.Data.Boolean module to construct boolean formula in variaous modules (continued)