cleaned up all warnings (and added many type signatures) in Outputable