[New Feature] Extend ArrayShape with ArrayShape

[marartner]

There currently does not seem to be a working way to extend a known array shape with additional keys, other than redefining it entirely. "..." can be used to signal that there may be additional keys, but not which:

I would propose this solution:

https://psalm.dev/r/3afa0bf3db