Analyzer erroneously allows `.call=` on type `Function`

[stereotype441]

The analyzer accepts the following code, but the CFE rejects it:

test(Function f) {
  f.call = 0;
}

The CFE is correct in rejecting the code; there is no .call= setter defined for the type Function.

[stereotype441]

I'm going to work on this.