quick and dirty pretty-printing; needs more types filled in.