Updated letrec so it can handle multiple bindings now