Slight tweak: in string_hash(), if the hash hasn't been computed yet,

and if there's a pointer to an interned version of the string, use its
hash and store its hash in this object, rather than recomputing it.