> Why on earth would I ever want to use SQLite if I have access to a sufficiently advanced code generator which can generate me a similarly high quality database system

Because SQLite has 10k requirements that wouldn't even cross your mind to write down, but 80% of which are useful to you.

The nice thing about natural language is that nesting semantic layers is free and arbitrary, and far more tractable than in a formal grammar. Every natural language is like coherentist ω-order logic. Effectively, I don't have to write the 10k requirements. I only need to provide a sufficient metatheory that can be extrapolatable to those 10k requirements, and that can include embedded theory I did not write myself but am familiar with enough to invoke, as well as refinement criteria ranging from the fuzzy to the explicit with priority weighting parameters.

This isn't anything new or particularly interesting. It's the entire basis upon which ILP demonstrated generality. Which too wasn't new. We always knew higher order logic was extremely powerful. The key was finding out the tractable semantics for it, which right now are looking decidedly like informal semantics.