inference-driving macros

review @retronym @heathermiller