def __add__(self, other):
if isinstance(other, TokenWithPosition):<EOL><INDENT>return TokenWithPosition(self.text + other.text,<EOL>self.position)<EOL><DEDENT>else:<EOL><INDENT>return TokenWithPosition(self.text + other,<EOL>self.position)<EOL><DEDENT>
Implements addition in the form of TextWithPosition(...) + (obj).

        >>> t1 = TokenWithPosition('as', 0) + TokenWithPosition('df', 1)
        >>> str(t1)
        'asdf'
        >>> t1.position
        0
        >>> t2 = TokenWithPosition('as', 1) + 'df'
        >>> str(t2)
        'asdf'
        >>> t3 = TokenWithPosition(t2)
        >>> t3.position
        1