Make Arrays mutable types under separation checking

[odersky]

Also: enforce that mutable fields can only be declared in Stateful classes, unless they are annotated with untrackedCaptures.