Use a bodyEnv to compile lambda body

First step towards a smarter compiler