Interface BooleanDomainSubset<S extends BooleanDomainSubset<S>>