A module that describes a tree where each node has one or more associated characters, also known as a trie.
The root node has no associated character.
This module is a signature used in
Gets a char associated with
Gets the previous node in the tree from
A node in the tree.