It's nice to see the work from Type Systems as Macros (also Stephen Chang of NU) continued! Thanks for sharing.

http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf