Handle character literals when printing to LaTeX

Closes #190.

See also 89b5d3224403 for first piece of work in this vein.