I wrote my bachelors thesis about IDE support for lexical effects and handlers: https://se.cs.uni-tuebingen.de/teaching/thesis/2021/11/01/IDE-effects/ https://s

I wrote my bachelors thesis about IDE support for lexical effects and handlers: https://se.cs.uni-tuebingen.de/teaching/thesis/2021/11/01/IDE-effects/ https://se.cs.uni-tuebingen.de/teaching/thesis/2021/11/01/ID... All of what you state is very doable.