[alpaca128]

>>> a feature does not "add expressive power" if we can implement it as a macro that turns it into something in the original language

But a macro is just an integrated language that lets us emulate more expressive features. To me that's no different from implementing a more expressive language in a simpler one, so this claim seems equivalent to saying all Turing-complete languages have the same expressive power because you can emulate them in each other.

[noduerme]

Well put.