This is a well composed idea. This reminds me slightly of (Rich's?) Codeq https://github.com/Datomic/codeq https://github.com/Datomic/codeq although codeq is on

This is a well composed idea. This reminds me slightly of (Rich's?) Codeq https://github.com/Datomic/codeq https://github.com/Datomic/codeq although codeq is only outlining code/scm relationships and not syntax trees etc. I think I was always hoping codeq would add something like this (for doing what you are doing to validate forms) but the input mechanism probably needed more hammock time