I have been able to revamp my macro use in a manner that makes this issue above academic. It may be useful (or not…) to have an explanation about how macros that have functions that are overridden is handled (or not handled) by the type system as it evolves.
But for me this is a non-issue.
