[ refactor ] Renamed TypeChecker to TheTypeChecker.  7 years of tab completion stopping early is enough.