it's based off MIR, does it have something to do with https://mlir.llvm.org/ ?

for typed lua, there is a newer typescript-alike effort https://github.com/teal-language/tl than the mentioned one at https://github.com/andremm/typedlua