I have that planned for a long time. I've been making progress in recursive thinking and thus compilation and interpretation last year (thanks to a prolog book). I may attempt the LLVM thing in 2017. This or a bootstrapped forth, x86 64 or maybe AARCH64.

Do you have a blog ?

I'm in that path, but instead of python I want a ML/Python/Relational language.

I know alot now, yet I'm struggling in some areas. For example, how effective surface a FFI for the language 9I'm with F# so is kind of easy, but how do that in swift/rust where reflection/dynamic calls are not easy?)

I'd love to see something like this as well, but leveraging the s-expr syntax currently being used for WebAssembly

Me too. I want to learn how to write a lisp, and I'll probably do it in Python.