add letrec, and lambda support