Indeed. HTML and CSS are great examples where by giving up expressiveness for the author, you can gain more power for later reprocessors -- uncommon for programming languages (because halting problem) but a common thing to do for language-like things like markup, Puppet manifests, etc.