Terra integration?

[Longor1996]

https://github.com/terralang/terra | https://terralang.org/index.html

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

While probably infeasible to add to mlua due to its size (?) & complexity (?), I thought it'd be good to at least mention this project.