added more flexibility to pretty printing system for use in the interactive console