1.0.28.21: further array typechecking optimization