Lazily computed hash in KerName.t.
Canary testing absence of generic equality for KerNames
Using HMaps in Safe_env.environments, hopefully improving performances.