Expansion.Shadowing
Demonstrates shadowing of identifiers in includes
module type A = sig ... end
module type B = sig ... end