2014-07-15-11.36.13: widget-imp.api, sprite-imp.api, object-imp.api: Revived the pprint_* fns, completing the transition from the last widget framework model to the current one.