[gambit-list] overload pp for define-types