lambdacalc for 1.6