Fixed syntax problems with letrec

Only problem now is that we don't have a recursive-extend-env