Improved error reporting of failed tests
More tests converted.
Further improved test tools
Improved some tests.

Note: only remaining unconverted file: TryCatchTCTests. This maybe
removed since most of the tests don't serve a purpose anymore (have been
replaced by type chcker errors).