Counting lower bounds

This umbrella exports the exact syntax census, normalization and factorial relabeling, generic almost-all transfers, the closed-form Shannon theorem, and the independent semantic-depth branch.