let
e_iop op = binop (i_op op)