Macro arg ASTs are now matched directly against handler sigs.