Added evaluate-letrec to benchmark interpreters