fix quickcheck test suite
remove dubious Hinted instance
fix 'general' doctests
address an hlint complaint
fix kind unification tests
start to kill the Hinted alias