Various small cleanups in countingTrie. Documentation mainly