Add instance for Boolean (x, y)

Boolean algebras are closed under product, this instance implements this.