makslevental wrote: > in a subdirectory with a clear indication that the design may evolve, I have no objection to landing this. How about into runtime since there are various other type-y things in there already. https://github.com/llvm/llvm-project/pull/71218