Add more debug printable types.
Add a bunch of various type checkers. Improve type-checkers generator a lot.