SI-8375 saner binary incompat errors for macros

Inspired by Brian McKenna's RC1 migration experience, I'm improving
macro impl binding validation in order to provide more helpful diagnostic
for this quite frequent class of errors.