Hash consing of string, for space savings, both on disk and in memory.
module String : functor (X : sig ... end) -> sig ... end