Use `Array<T | U>` when dealing with union types instead of  `(T | U)[]`

In these cases, the programmer has explicitly indicated that the type should be nullable

We set alwaysStrict so this directive is not needed

fixes #38207

 - add a prefix sum cache that is warmed up for the viewport
 - improve some of the position mapping/validation code