not syntax-based, which you don't currently like for type names: how would it really be different here?

Not much different really, the problem is semantics, not syntax. And thats the problem with all the options.

You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.