ERR: more informative error message on bool arith op failures