Std_extra.Intify
Transform a type to int by assigning id's to elements
module Make (S : sig ... end) : sig ... end