Absolutely, and I would encourage you to contact us offline first to discuss related work in this space - there is indeed a lot, because the category of CQL schemas forms a BCCC and for each schema S, the category of S-databases forms a topos, briefly described here: https://www.categoricaldata.net/cql/haskell.pdf. So CQL is expressive enough to interpret the STLC and higher-order logic in a few different ways.
I've just been reading up on your CQL. Damn son. So I feel like I'm building a sand castle and you guys have built Howl's Moving Castle. Seriously, CQL is amazing. You've done everything I had hoped to data-wise and on such a firm and rigorous foundation. My hat's off to you.
I'm still going to get in touch, because I'm really interested in what you're doing, but maybe I'm not in the right place to apply for anything yet. (We can talk about it.)
The Joy system I'm playing with has some UI ideas inspired by the Oberon OS and Jef Raskin's "Humane Interface", but other than that I'm not sure there's anything there for you. Joy itself might be a good UI "macro" language.
This looks cool. Is there an append-only version of these database tools? (In the sense of never overwriting or deleting a value, only adding a new value with a new timestamp.)
