Be precise about suggesting enable_experimental and enable_deprecated

[sauclovian-g]

Currently anytime you use an undefined variable the message points out that some things aren't available without enable_experimental or enable_deprecated.

It would be better to instead print a different and more specific message if you refer to something that isn't currently visible, something like Variable not in scope: "mir_verify". Run "enable_experimental" to make it visible.