Currently, lisp is not a single language, but a family of similiar languages that originate from the LISP. The languages' inherent flexibility gives you too mu

Currently, lisp is not a single language, but a family of similiar languages that originate from the LISP. The languages' inherent flexibility gives you too much freedom of expression to handle, especially for those who come with experience of strict languages. The minimalism of syntax and the ability to create in-effect a (sub-)language of your own also adds to that expressivity. But we need guards to protect us from the freedom of too much expressivity, see for example defmacro vs. syntax-rules/syntax-case etc. From my perspective, I want a language which gives me freedom when I want that, protection (''guardrails'') when I want that too, both if possible at the same time. On invariants, what dependent typing and property testing are giving us now? How is the room of improvement on that matter?