Very interesting. Fixing one of the most common flaws of LLMs. If you can force them to follow proper structure they can generate better batch of test data samples, correct mathematical proofs in Lean, proper conlang words and sentences, proper json output for latter use by another tools, and obviously correct code generation in a specific version of a programming language.