Give better symbol names to generated tokens

This should make debugging easier