A total order for arrays is defined by the lowest index `i` for
which `a[i] != b[i]`. If this exists, the result is `a[i] <= b[i]`, otherwise
it is `a.length <= b.length`.

This is defined only if T : property.orderable, it will result in a compile-time panic
if this is not the case.