[gambit-list] Namespaces and define-type