[pre-RFC] Name mangling in IRModules

[tqchen]

Agree that mangling should be deferred as long as possible. I think the keys is not to push all mangling to a certain stage, but have a clear spec about what can be mangled, and what cannot