Interface ValueDomainSubset<S extends ValueDomainSubset<S,​D>,​D extends ValueDomain>