Takes out the LambdaExpression model and uses my lambda-calculus gem instead.