> We might need different kind of rules/constraints because at the end we rely on LLMs to respect or use those rules

I want everyone to respect those rules. LLM and human alike.

Hence, I like architecture tests. Most of my arch-tests double as a point in a CLAUDE.md (or sub) file.

Architecture tests are understood both by LLM and human, and test everyone's code. How's this not what you need?

Saying we need a different language, to me, is saying you do not understand LLMs well: those algorithms basically can do what they do due to prior art. A completely new language is not what I'd expect an LLM to be great at.