array: support compile-time known array sizes + restrict to row-major

Let the compiler better optimize cases where array sizes are known
at compile time.

This implies known strides, so restrict to row-major. Slicing is
then limited to picking from the first axis.