Created TypeChecker class and TypeChecker exception