let var_mk_bound = Var.mk_free