fix, cleanup, and tighten type programming utils

[nonergodic]

The branch name is outdated. Initially intended to only add the one function that I needed, but then realized various issues in the code (primarily the usage of RoArray, when Tuple types were expected and "generic" RoArray that were not tuples under the hood actually produced incorrect results).

Types are now handled more appropriately and robustly.
e.g.

const arr = [[1,2], [3,4]];
const zipped = zip(arr); //previously had type never[], now has type RoArray2D<number>

The main downside is that compile time has gone up significantly (by 15 seconds, from 55s to 70s on my machine).

[artursapek]

this dude's frontal lobe bigger than my entire brain

[nonergodic]

this dude's frontal lobe bigger than my entire brain

Yes, it's all very impressive.