Split HashTable out into mutable and immutable kinds.

There are some inference problems making the marketplace tests fail. I'll need same help fixing that up.
Why do you think this? I don't check for any/sc when I do pair-equals.