Double translation: lambda lifting improvements

[vouillon]

• We don't need to lift all CPS functions. We just need that the code which is going to be duplicated contain no closures.
• Lifted functions which have no free variable don't need to be wrapped.