add Boolean Semiring