2013-09-29-11.19.04: Wrote src/lib/compiler/back/top/highcode/prettyprint-highcode-types.pkg