[gambit-list] Hashing of types