Removed Java pretty-printer
Removed (unused) typechecker

Type checking is done at runtime. This may come back in the future for
possible static analysis