fixed eval_let
added letrec