Put pretty printing library into core