The GHC type checker is now used by default.