@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2659)
public DmtStringName add(Object v) throws DmcValueException {
synchronized(this){
DmtStringName rc = typeCheck(v);
if (value == null)
initValue();
// If false is returned, we didn't modify the set, so return null
if (!value.add(rc))