modify AST to lambda. Now under construction.