2013-10-20-21.43.40: src/lib/prettyprint/big/src/: More housecleaning. core-prettyprint-mill-g.pkg now contains about what it should -- support stuff moved into other packages.