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

jack-pappas/NHol