Module Recent_impl

module Foo: { ... };
module B = $B;
type u = $t;
module type S = { ... };
module B' = Foo.B;