It seems odd since this is getting so much positive press… But I really fail to understand what novel thing is going I here. Is this not exactly the way any whole-program optimizer would work given suitably “de-recursed” definitions?