factor out some functions to new modules

e.g. pretty printing has become big enough to justify its own module