Improved documentation of HashTrieSet internals

Added some more general documentation about how levels work and how the
bitmap field encodes the position of elems.

Maybe this is a bit too much?