Fix Typing.hs

"let rec f xs = f xs in print_int 30" is correctly checked