Get the ordered compositions of n into k summands constrained by cumulative minima and maxima.
PropVec allowed compositions are called prop_vecs.
PropertyIndexer_t