WebIDL should define "native Array"

WebIDL uses the term "native Array" in a few places, but doesn't define 
it in ES terms.  Presumably this should be defined as an object for 
which Array.isArray tests true?  What about proxies around arrays?

-Boris