All code and test cases for lambda calculus evaluation