makes sense of implicit macros!

Supersedes https://github.com/scala/scala/pull/2464

review @paulp @retronym