improve constFold.ml
implement finv
improve constFold.ml (external functions)