I.L08 — CRT Extension

CRT Extension: tower coherence constrains function output via the reduce map. For tower-coherent f: reduce(f.b_fun(n,l), k) = f.b_fun(n,k) for k <= l. Output at any stage is already reduced.