Thank you for the question, and for the suggestions!
PHP Tools understand the array shapes already; they are recognized in Doc Comments, colorized, and the corresponding type information is used for the type analysis.
ToolTips may display the type "simplified".
Hinting array elements is on our to-do list;
More strict warnings are as well on our to-do.
I'm keeping track of this feature request and I'll inform you here.