This also seems related to the feature proposal by @cscherrer that I implemented for Reduce.jl
He also wanted a wrapper type which dispatches
Personally, I dont like to depend on MacroTools, and prefer writing custom code transformations.