Expansion.ModuleTypeAliases
Demonstrates that module types are not expanded if they're a simple path to another.
module type A = sig ... end
module type B = A