Module Trie.V2

module type S = sig ... end

Extended version the V1.S.