Fixed: stringification was not converted using the token's input.

The stringified token is fully synthesized now and refers to its own input.