rolfmorel wrote: This is looking good, @javedabsar1 ! I have left a bunch of minor comments. The only one I feel is more significant is on whether we can do with a simpler representation and C++ for functions-and-their-arities. https://github.com/llvm/llvm-project/pull/124661