Correct checker for lambda

This reconstructs the term from the checked/elaborated version

Now, the `reflect` calls are getting properly erased!