docs: def __add(self, token):
          """Unconditionally adds a token to the table."""
          self.__symbols.append(token)
          text = token.text
          if text is not None and text not in self.__mapping:
              self.__mapping[text] = token