Is it a good idea to downcast Hash

[planetis]

Thanks for the affirmation.

> Maybe making LitId 64 bits as well as the hash could help?

I could do that, but how would it help?