Name derivatives x′, x′′, etc.

It’d be neat to use the unicode characters for up to quadruple prime.
Maybe a superscript n after that.
Test lexer reductions are what we expect.

They aren’t.