Added another lambda calculus interpreter that uses recursion directly.

This test exposes a few more bugs in the compiler