Improved TypeChecker Error Handling - now makes code suggestions, and checks entire file instead of stopping on first error.