Theory: ongoing work on full-sample statistics

This commit substantially rewrites the material on full-sample statistics
and begins to fix their proofs. The proofs are still incomplete, however.
Revise extended example