SI-7160 Update specification of class Array (§12.3.4)