Yeah! - outlines, guidance, jsonformer were inspiring for this line of work

Also note llama.cpp with grammar support:

https://github.com/ggerganov/llama.cpp/tree/master/grammars

Supports an EBNF-like syntax, as well as JSON-Schema.

We did some user studies and found that people found it less intuitive.