Previous scheme was buggy; leaked Array types to backend.
Now: All new Array[T] methods are translated to calls of the form

    dotty.Arrays.newXYZArray ...