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