Right, in theory, but in practice they don't really use that functionality, right? I think the reason they don't is that they have macro hygiene issues with the language because while natural language has supreme flexibility, it does not have easy to use scoping constructs and so things inside the macro will leak to outside the macro.