I propose you something else -- I do not know just now whether this is realizable with human efforts.
I thought whether Emacs could insert Morphic Objects, like Smalltalk.
For realizing such a project I could contribute with inseting closures in Emacs , or writing a minimal smalltalk evaluator -- but an evaluator of lisp with closures would be enough.