Aesthetic fixes

Again some hoogle-formatting stuff, and some fixes to make the inline errors usable. (And quite useful, actually... thanks!)