2^n ↝ 2^k.
More uniformisation + update with respect to the no non-empty list policy.

Up to, and excluding section Ocaml.Padding.