fix problem in mk_in

mk_comb doesn't instantiate type variables; using mk_binop instead.
(mk_icomb or list_mk_icomb would also have worked.)