[Python-ideas] A standard library Multiset implementation?