Interface IntegerDomainSubset<S extends IntegerDomainSubset<S>>