Show terms more prettily

Now, a different pretty-print renderer is used for showTm. This should
improve display in various places in the code that don't yet work with
pretty-printer documents natively.

RE #1019 , this seems to fix the printing problem but not the IBC problem.