Add a commutation rule and half-eta for bool