Revert "Make "my $a of Array of Int" work (for typechecks at lowest level)"
This should already work for multilevel typechecks, so we shouldn't normalize
the type to the lowest level.

This reverts commit 2857585a4d166896c308a8d84b0ebb6d6e826ae5.