Terra integration?

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.