On an other note: – – – Here's an interesting new paper on advanced structural editing with a strong "typing normally" focus: Gradual Structure Editing with Obligations https://tylr.fun/vlhcc23.pdf building on https://tylr.fun/ by @David Moon @andrew blinn @Cyrus Omar – – – And some work on seemingly lower level perhaps more near term practically applicable projectional editing: Projectional Editors for JSON-Based DSLs https://arxiv.org/abs/2307.11260 https://prong-editor.netlify.app/ by @Andrew McNutt @Ravi Chugh