DocId vector instances, getting things working on 7.8

unrolled GND'd instances for CountingMap in DownloadCount.State

Tests passed, fixed REPL specific type errors due to monomorphism restriction as well as type errors relating to GND breakage.
this module just needed some more type annotations to make type inference more robust. Also the type annotations helped document a lot of shit that was UNDER DOCUMENTED to a huge degree