https://github.com/banach-space commented: I really like the updates, this is becoming clearer. I posted one question that I'm a bit stuck on. My impression is that things could be simplified further, but I might be wrong. https://github.com/llvm/llvm-project/pull/131982