Is that for immutable/persistent hashmaps, or also for mutable hashmaps?

It can be used for both. With my implementation it's mutable when initially populated (by passing an enumerable of key/value pairs), and then becomes immutable once constructed.

Hashmaps that have string-like keys suitable for indexing a trie are a subset of all hashmaps.