Added apply_closure to the letrec