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