Memory management: should not waste stack

[raoz]

The current compiler result in code that segfaults if ((λf.((λx.(f (x x))) (λx.(f (x x))))) (λx.x)) is compiled.

[raoz]

This is actually due to a stack overflow, and "working as intended". However, this condition should be detected and better communicated to the user.