Remove extension implication ScopedTypeVariables => TypeAbstractions
This MR implements amendment 604 to GHC proposal 448 by removing the implication of language extensions
ScopedTypeVariables => TypeAbstractions
To limit breakage, we now allow type arguments in constructor patterns when both ScopedTypeVariables and TypeApplications are enabled, but we emit a warning notifying the user that this is deprecated behaviour that will go away starting in GHC 9.12.
Fixes #23776 (closed)