sclass WeightedSet<A> extends WrappedMap<A, Double> {
  bool contains(A a) { ret containsKey(a); }
  public get(O a) { ret or0(super.get(a)); }
  double getWeight(A a) { ret get(a); }
}