[ refactor ] Renamed TypeChecker to TheTypeChecker.  7 years of tab completion stopping early is enough.
Merge branch 'maint-2.4.0'