WordsTable: BiMap<symbol, string>

A words "table" is a biyective association of symbols to strings, implemented through a biyective map. It is intended to be used by Words to identify munchers, tokens, symbol tokens, and primitive identifiers.