patch applied (cabal): Split known-extensions off into their own type, and remove knownExtensions