def __add__(cls, other):
    """Addition of two tokens is defined to simply return a tuple of
        both tokens.  This is so raw tokens can be used in the operator
        overloaded form of defining production rules for a grammar."""
    return cls.prod_rule_funs['Tok'](cls) + other
