OK, propose a simpler mechanism for globally namespacing identifiers. Given that you find three semantic rules to be "too complicated", I suspect you'll have a

OK, propose a simpler mechanism for globally namespacing identifiers. Given that you find three semantic rules to be "too complicated", I suspect you'll have a difficult time doing better.