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.
the extra Language pragmas here are because GND didn't suffice in certain cases. so certain instances now need to be written by hand to support 7.8