Add binop to print.ml