sclass WeightedSet<A> extends WrappedMap<A, Double> {
  bool contains(A a) { ret containsKey(a); }
}