Support destructuring of catch clause parameter?

[Arnavion]

CatchParameter can be a BindingPattern.

try {
    throw [5];
}
catch ([ex]) { // error TS1195: Catch clause variable name must be an identifier.
    // Expect ex === 5
}

But I guess type annotations should still not be allowed on the inner bindings, which does decrease the usefulness somewhat...