The draft currently says:
BindingProperty :
SingleNameBinding
PropertyName : SingleNameBinding
PropertyName : BindingPattern Initialiseropt
BindingElement :
SingleNameBinding
BindingPattern Initialiseropt
Which can be simplified as:
BindingProperty :
SingleNameBinding
PropertyName : BindingElement
BindingElement :
SingleNameBinding
BindingPattern Initialiseropt
Probably,
The bigger change is in refactoring the evaluation semantics, but on first glance there doesn't seem to be anything incompatible between the semantics of BindingProperty and BindingElement that would prevent doing what you suggest.
I'll look at it more closely at some point soon.
fixed in Rev. 5 draft