removed colors due to buggyness; removed generic pretty printer due to buggyness; added array printing options;