Sends preferable behavior to me, since it avoid overly long signatures and more clearly reflects the new semantics of module aliases.

But it might be nice to have a way to see the contents of a module in the toplevel.  Maybe steak the #typeof declaration from utop?

y