Inference-driving macros are now in paradise

Inference-driving macros are now in paradise