static <A> Set<A> setPlus(Collection<A> l, A... more) {
  Set<A> set = similarEmptySet(l);
  set.addAll(l);
  for (A a : more) set.add(a);
  ret set;
}