Add lambda calculus to test cases.