Add Boolean trait for boolean algebras