Doxygenate gdbtypes.h