Steven did a version that is based on AST transformation only, we will explore that direction further in the future.

Interesting, so this would be the one I'd like to see (because I
implemented with AST transforms). Would you have a link to his work?
Mine is on github, and the version I did at UBO was on the VisualWorks
AST.