Tier 1 / Direct
single substitution
Tier 2 / Chained
two application steps
Tier 3 / Combinator
normalize or detect ∞
Beta-Reduction Trace