let e_or  = binop bool_or