inference-driving implicit macros

review @adriaanm @odersky @retronym @paulp