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