Literally every single thing in the post is generalizing a feature that already exists. Don't you think removing these special cases makes the language simpler and easier to use?

You might have a point though in a few releases when GATs are stabilized. I'll keep an eye out for your username complaining about that release ;)