Provides classes representing dictionaries, bidirectional mappings between terms (Strings) and term ids (integers).