[gambit-list] Customizing printing of record types