Minor typographical fixes for lexical syntax chapter

Change mostly consists of fixing single quotes and stripping code back-ticks where they are not required.

For some reason, unescaped superscript notation within math mode is preventing MathJAX from doing its job. There may be a better fix for this than simply escaping the superscript, which makes the math-mode syntax different from what one might normally expect.