[incomplete] Fix Typing.hs

"let rec f xs = f (xs, 1) in print_int 1" gets stuck into an infinite loop.