SI-8375 saner binary incompat errors for macros

Inspired by Brian McKenna's RC1 migration experience, this commit improves
macro impl binding validation in order to provide more helpful diagnostic
for this quite frequent class of errors.
Addresses pull request feedback
Merge pull request #3606 from xeno-by/ticket/8375

SI-8375 saner binary incompat errors for macros