Nested expressions can also be matched. Check out this example.
Macro processor supports rest variables. Check out this or this example.
The macro processor can generate unique variable names, if needed - just use the "_" prefix. Check out this example.