Get rid of weird unicode chars in output

[seanmcl]

We are inheriting hard-to-type-and-read unicode characters from Lean.Name. E.g. «».2. Let's use a new type or something to get more sensible variable names in our KLR programs.