[Git][ghc/ghc][wip/romes/27401-2] 3 commits: TTG: Add extension points to HsConDetails