fixed let->letrec, added extra credit