Bug fixes for type checker error handling, tidied up error test files.