Typechecker: make potentially large recursions tail-recursive
Prevent stack overflow when typechecking some instructions with large integers.
TODO: add tests
Edited by Mehdi Bouaziz
Prevent stack overflow when typechecking some instructions with large integers.
TODO: add tests