I don't think `type-safety` is the right term here, but I know what you are getting at.  I'm not exactly sure how to word it better - it seems like the real issue is whether or not you are referencing something that is *obviously* in scope (via a require) vs. "magically" in scope (via macro magic).  So maybe just say "a more obvious way"?   Or something like that.