[Git][ghc/ghc][wip/mangoiv/bp-16719] 3 commits: Fix a few tag inference bugs.