The quote syntax has me vaguely wondering if there would be some interaction with OverloadedLabels, ...
Yes, OverloadedLabels is the thin end of the wedge. `#type` is already supported without quotes, and that's used as justification for `.type`. (But Labels starting upper case or with embedded spaces, etc aren't supported.)
It's also something of a lexing/parsing disaster. ...
Indeed. Specifically all the developer tools are (I suspect) going to continue to treat `type` as a keyword (unless quoted). How does `blah.type` show in Visual Studio?
This proposal doesn't for example include modifying HLS for the new context-awareness around reserved ids.