Possible to recover uninterned value from Id?

[mb64]

I would like to only store integer Ids for interned identifiers, and then possibly recover the string from the Id for pretty-printing.

My use case for using the raw integer Id instead of Interned{String,Text} is to use negative ids for global variables/constants, and non-negative de Bruijn indices/levels for local variables. Since interned ids are always non-negative, I can use - internedId - 1 as an identifier for globals.

Is it be possible to retrieve an uninterned value from just the Id using this library? I haven't been able to figure out how.

Thanks!