dev-lang/cryptol: drop keywords due to ghc-7.8.2