makes sense of implicit macros!

review @paulp @retronym