Show bots

Ugh this turned out to be quite annoying. For some reason not all exported `Var`s are being tagged as exported, i.e. in

```haskell
module Foo where

foo = 1 : foo
```

`foo` is not tagged as exported... 

For the time being I've rigged it to complain about all `false`s in the module, which is a bit redundant. I'd like to figure out exactly what's going on at some point, but for now I think the current output, albeit noisy, will suffice.