Only include essentials in itt.jar
Better error reporting, fixed induction checks.

I would consider the type checker almost done.
Added a number test.
Computing is a bit slow (several seconds for adding 16 bit numbers).