Fix in object/array subtyping

  - Array subtyping is now invariant to allow sound (within bounds) array
    updates on immutable arrays
Adding examples.