These should be replaced by proper implementations in Std.
The list of keys in a HashMap.
The list of values in a HashMap.
Add a value to a HashMap α (List β) viewed as a multimap.
HashMap α (List β)
Insert all elements of a list into an RBSet.