updated the type checker such that it itself reports unresolved errors in the issue handler (this was done outside the TC code before). This simplified the use of the type checker allowing users to ignore the exception about fatal termination if desired while still being able to obtain all errors.

this fixes #196 where the IDE didnt report anything wrong. The design is such that TC is stopped if an identifier is unresolved. But since this unresolved error never was shown the user could not see why no other errors were reported.