Tracking of mutable arrays

[phischu]

In the current standard library, arrays are extern value types and therefore not tracked individually. Operations on them do use the io resource. This is a difference to mutable references, which live in regions.