semantic: Try transparently referring to non MI const stuff, too.