[RFA 1/3] c++/13356: Remove "type checker"

[Tom Tromey]

>>>>> "Keith" == Keith Seitz <keiths@redhat.com> writes:

Keith> This first patch deals with the mechanical removal of all the dead
Keith> code. [The documentation and testsuite patches will follow.]

This is ok.

One concern I had was compatibility with existing .gdbinit files.  But I
figured that this isn't a problem in this particular case: since the
option doesn't do anything, and probably hasn't done anything in a very
long time, if somebody does have it in their .gdbinit, simply removing
that line will work fine.

Tom