Fix field global id...
Inlining toplevel functions applied to constants
Fix dead_code elimination with some cases of recursive functions
replace unused variables by unit
extract unused letrec variables and replace by a sequence
Comment buggy fix