A SmallTalk derived programming language from GiladBracha
I realize that it's more interesting than I initially thought because it's got a web-environment that is more like a SmartAcademicNotebook. I've been arguing that SmalltalkNeedsANewUI (more like JuPyter) and NewSpeak's UI actually seems to be quite a way in that direction.
It's still not doing exactly what I'd like, but it's closer than anything else I've seen.
I'm getting into debating them.
Here's an important paper including some of the current ideas about modules : https://bracha.org/newspeak-modules.pdf