added letrec* support to the language (mutual recursion)
test program verifying letrec* (famous odd & even example)