How does the implementation of unique types works? It seems you need to add some salt to the hashes of unique type data, but where does the entropy come from?