Redesigned WeightedMultiHashMap, added WeightedHashSet that facilitated
the redesign.