Generalize Bool to Bits, define class for Boolean algebras, etc