synopsis: Split `KnownRepoType` out of `RepoType`
packages: Cabal
issues: #6432
prs: #6612