Separate out pretty-printing stuff.

This is nicer since we can use alternate sources of names if we like.
Define all of (>>=) for 'Term'.

I must have left this out on accident.