fixed letrec and added example recursive functions with test cases