I'm not claiming that this is a complete characterization, but instead the core conceit. I don't think it would be hard to extend the core model to include thin

I'm not claiming that this is a complete characterization, but instead the core conceit. I don't think it would be hard to extend the core model to include things like macros or for loops. Mostly "declarative" by whatever definition you choose is still an interesting characterization.