I'd like to request that discussion of this proposal be suspended until after the question of the scope of declarations gets considered. My reason is that one of the primary arguments against duplicate names in a binding form is the ambiguity of referent for declarations. Some of the proposals for declaration scoping would remove the ambiguity.