More pretty print use; fixup
Fix "more precisely" msg for pretty printed types
A few printer fixes (fixup commit)
Simplify init for test (fixup commit)