Supersedes andcloses#2278if merged @hamnisthis is an alternate approach to what I did in#2278. By using macros for derivation we can match on theMirrorand extract theMirroredLabel,MirroredElemLabels, andMirroredElemTypestypes without causing a stack overflow. There are two caveats (the tests wi...