ast for simple lambda calculus