Proxy: import all TypeNat identifiers.