Boolean operators on integers crash some solvers

[Wout4]

Giving an integer as an argument for and, or and implies operators crash most solvers (gurobi, z3, minizinc, pysat)

example
Model( (bv[0] | 0)).solve("gurobi")

[IgnaceBleukx]

I don't think we want to support this, right? We should just throw a CPMpy exception when encountering this.
Actually, this is another example where we want to introduce some typed-ness on the modelling side of the library.
We could then simply raise an exception when a user tries to construct this type of expression by checking in the constructor of "OR" wether both sides .is_bool()

[Wout4]

pr #297 fixes this by throwing a cpmpy exception