Expansion.ModuleTypeAliases2
Demonstrates that module types 'aliases' are produced by strengthening
module A : sig ... end
module B : module type of struct include A end