[Gambit-modules-list] Name of the module system.