let e_and = binop bool_and