Cleaned up the messy incomplete case in `prettyTerm'.

I /think/ this is the last of the -Wall stuff. Apparently -fno-code
doesn't catch incomplete case stuff, so I didn't see it before.