@neauoire
I might need to look deeper into the references papers when I have the spoons for that.

But this discussion of "expressive power" and the idea of "adding features to increase expressiveness" sound "languages become more powerful by adding stuff" school of thought.

And "features that make the language more expressive" sounds a lot like Lisp macros.