Fixed a couple of small type-checking issues by adapting the pretty-printing code to work with Protected<_> values.