ghc got some new names for its extensions