stop Boolean type class being a subclass of Lattice.

Boolean type class is mainly used for overloading operations on formulae and formulae form a lattice only modulo semantic equivalence.