Clarify the destructuring syntax

[Allen Wirfs-Brock]

On Apr 11, 2014, at 10:29 AM, Егор Николаев wrote:

> After firing a bug I read the spec again and realised that Get (O, P) should already throw a Error.
> So maybe I am misunderstood this from the beginning.
> In this case section "12.14.5.4 4.b. If Type(v) is not Object, then throw a TypeError exception." is useless because it already has a type checking in Get function.


The top level assignment check is done in 12.14.4 step 6