pub type TypeAddr = Addr;
An address in the current type space.
Parsed modules use module-local addresses; instantiated types use their store’s canonical addresses.