By "namespace", I was thinking specifically of MzScheme namespaces, which is where global variables live.
But like you say that doesn't help with macros, so to answer my own question: no, I don't think namespaces are enough to implement modules...
