Goptions do not rely anymore on generic equality.
Kernel names are implemented using records.
Lazily computed hash in KerName.t.
Canary testing absence of generic equality for KerNames
Do not remember KerName hashes.
Custom canary