Adds missing typechecker file
Fixes bug in recursive calls. Test.html supports stack dump and stpe-by-step running.