fix dupfun.ml. now type info is correct