Draft: Unified variable namespace
See comment !11134 (comment 535181)
So what if, with
RequiredTypeArguments
we simply killed offtvName
and always usedvarName
? Then there would be no faffing around with promotion/demotion. Would that not be simpler? Perhaps even a lot simpler?