Added Bool Lattice that might be useful for simple yes-no analyses.