CLRS Section 11.4 - Explicit uniform probe space

Stable facade for the finite permutation sample space, occupied-prefix counting theorem, and the resulting probability and expectation identities.