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