Add Untyped Lambda Calc.