@ekaitz_zarraga What I have in mind would be a function that take a string and return an AST. And then functions to traverse/validate/pattern match such AST.
It would not need a whole Turing complete language (and thus it should NOT be so), but could be more readable than --with-this=that -xcfs or the like.
AND the shell could do interesting things with the AST before passing to the command.