Improve tuple generation
Refined lambda application
More fixe