Are your sequences state based? Is there a finite set of conditions that drives your control sequences? If not, you may be missing out on one of the most intuitive ways to write control sequences.

Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined ...