I'm implementing a Lisp

Discuss how the perfect module/namespace should behave.  Keep in mind things like multimethods (which should be merge rather than shadow).

What about having one environment per function, as well as providing the ability to store per-CPU or per-continuation values?

I think that could be used to implement a fairly fine module system.