2013-10-20-13.33.14: src/lib/prettyprint/big/src/: To facilitate factoring core-prettyprint-mill-g.pkg into multiple packages, moved its core types into new generic core-prettyprint-mill-types-g.pkg