HAT-Trie for Python