Class StringValue<I extends StringValue<I,​S>,​S extends StringDomainSubset<S>>