implement only duplication (not register table)
improve dupfun & add -26 to warn-error opt
fix bug. Now succeed in duplication
improve dupfun.ml & add rename_ident.ml
improve dupfun
improve
fix dupfun.ml. now type info is correct
merge