@user Well it doesn't make any sense anyway. But things like
foreigns in J are all identified with numbers from some combination of not wanting to pollute a namespace and implementation laziness. Types are identified with numbers not names and so on. It's not better for identification, it's just leaking implementation details.