Thanks for putting all this together. Do you have any thoughts about QBE?
No I haven't played around with it yet I'm sorry.
Reminds me of a guy who (for fun) wrote lots of compilers and interpreters like lang A to lang B written in lang C. He was unsurprisingly familiar with quite many languages.
There's a dissolution effect of writing interpreters. It's a big source of clarity.