https://terralang.org/"Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language"Types as first class values in Lua.WTF.