add letrec