Added evaluate-letrec