ox-arrays - Nested, compositional struct-of-arrays orthotope arrays

	Commit message (Collapse)	Author	Age
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	2 days
\| \| \| \| \| \| \|	This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31. Removing a _provided_ KnownNat constraint if we cannot remove the actual Nat information from the data type is rather pointless.
*	Shape/index function rename	Tom Smeding	2 days
\|
*	default-show-instances flag	Tom Smeding	2 days
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	2 days
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	3 days
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	4 days