[gambit-list] Mixing namespaces and define-type