Add some type pretty-printing selftests.