inflate w vs is the inflation of w by vs. It is the
permutation of length sum (map size vs) obtained by replacing
each entry w!i by an interval that is order isomorphic to vs!i
in such a way that the intervals are order isomorphic to w. In
particular,