Each block of up to k base steps becomes one macro token. The trace length drops from T to ⌈T/k⌉, and the information carried is unchanged.
Positions fall by k; bits stay flat because a macro alphabet of size up to |Δ|k needs about k times as many bits per token. The transformer pays for positions, so this is the reduction it feels: fewer serial steps and smaller attention.