typing: check array index or init expressions

[lgo]

Previously, we did not check the type on arr[int] or new Type[int] expressions.

+2 tests