Hi all,
I got a little side-tracked, but I'm back to thinking about this. I've revised, and have a basic implementation of body macros working in the compiler (Function body macros by DougGregor · Pull Request #70034 · apple/swift · GitHub), but I think the proposal as originally written is still the right way to go.
Doug