Module `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