Module type SetDomain.ToppedSetNames

Auxiliary signature for naming the top element