It's too early in the week, and I'm too sober for this. My one nit, is the lack of static typing. I'm not a fan of radically changing the direction of a project, so instead of baking it into HTML, the Programming Language I suggest the TypeScript route. Something like a hypertext typed programming syntax, HTTPS, to compile to HTML, the Programming Language.
considering a hindley milner type system for the language, but it would be a big lift w/ explicit stack semantics also looking at HTML, the programming language,++, or, possibly, Objective-HTML, the programming langauge, which would be easier to get to and potentially more awful
Hindley Type Milner Language
#ifixeditforyou