It looks like you've looked over a number of languages, but I don't see anything about Forth, Forsp, Ante, Steps, Austral, Wat or Vale? I'd suggest they all have useful components to steal from :)
https://github.com/ablevm/able-forth
https://xorvoid.com/forsp.html
https://antelang.org/blog/why_effects/
https://news.ycombinator.com/item?id=43419928