A Python metaclass to allow using Types as Sets