Fix printout of primitive strings

We now rely on Show to do the quotation; this may not be correct for all
backends, but it is less wrong than before.