Anthony Hannan <ajh18 at cornell.edu> wrote:
	When importing modules into a module, where do we get the imported
	modules from.

Eiffel addresses this problem with LACE files (.ace extension).
It's worth looking at how they do that to see what kind of functionality
might be worth having.  Of course Eiffel is static, and a .ace file
basically describes a single application (or library).

Erlang addresses this problem with SASL descriptors, and Erlang is
nearly as dynamic as Smalltalk.