I believe @alavrik was the lead for that project but it was dropped - perhaps Anton or @max-au might be able to shed some light as to why
There were a few threads about it:
I was going to link to @Qqwy’s TypeCheck but you’ve already mentioned it.
Aside from that and in terms of a full language, currently Gleam looks like it might be the best fit as Louis is keen on BEAM/Erlang/Elixir interop from what I gather from his posts
