Add support for unsealed shapes with specified other elements' types

[vudaltsov]

Psalm supports that: https://psalm.dev/r/cd2368bac0
PHPStan does not yet: https://phpstan.org/r/5a21f171-ec9a-467b-ad9e-6d1b1bd1de33

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.