Make cosmetic changes to paper

- convert font to Bitstream Charter
- replace small caps with caps (Charter uses fake small caps in LaTeX)
- increase font size and margins, decrease line spacing
- remove hyphen in 'pseudo-true'