It seems like a decent concept for exploration.

AJ, I'd be interested to know what you've been able to build with Chia Lisp and what your experience has been... e.g. what does the Lightning Network look like on Chia?

One question that I have had is that it seems like to me that neither simplicity nor chia lisp would be particularly suited to a ZK prover...

Were that the explicit goal, it would seem that we could pretty easily adapt something like Cairo for Bitcoin transactions, and then we'd get a big privacy benefit as well as enabling whatever programming paradigm you find convenient (as it is compiled to a circuit verifier of some kind)...