Better hashing for text symbols