Improving performance of mutable arrays using linear types

[tomjaguarpaw]

That’s great if so! Although it says

@tbagrel1

Of course, most Ur were still there, but that was to be expected.