Fix ghc version in test guards.
Fix link to CH paper in user's guide.