Make mangled and unmangled (kernel) names more difficult to mix up

[eyalroz]

It is easy to confuse non-mangled with mangled names. Let's enforce a hard separation of them using a (non-owning) class.