Consider singletons in UnionExp::copy()