GitLab

and use it to skip the th, ghci and debugger tests when GHC is profiled.

Very many of these changes are minor error-message wibbles,
but there are some to do with higher-rank and impredicativity
that are more substantial.  I'm looking at those separately,
but meanwhile validate works.