Don't use ghc to highlight

plus some neat flycheck fixes