Expansion.ModuleTypeOfComplications
Demonstrates the interaction of module type of and destructive module substitution
module type of
module type S = sig ... end
module X1 : sig ... end
module type T = S with module X := X1