ok, token renamer works now, at least in a basic fashion

I don't suggest that people besides me use it, though.