In [src/mongo/db/query/optimizer/syntax.h, there is a note indicating that the GDB pretty printers should be updated any time a new possible type is added to the definition of ABT. It will soon be possible to write tests of gdb pretty printers, and once it is, we should write one for the ABT pretty printer so we automatically catch regressions and don't have to worry about people reading that comment.