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 is a comment noting that this record needs more explanation. Maybe should be more descriptive like "Fixme, this use of undefined should have some explanation"