I think LLMs benefit from training examples, static typing, and an LSP implementation more than terseness.

Exactly. My experience building a system that generates Dafny and Liquid Haskell is that you can get much further than with a language that is limited to dynamic or simple static types.