static Set<Symbol> asSymbolSet(Collection<Symbol> c) {
  Set<Symbol> set = symbolSet();
  set.addAll(c);
  ret set;
}