combinators.smart: Clarify stack effect for cleave>array.
math.combinatorics: adding a k-permutations virtual sequence.