Implement letrec expression