Add HashIntern to allow hashconsing from other types

[rdmarsh2]

In particular this enables using &str for variable references and only allocating and copying to Strings when a new entry needs to be added to the consign.