Talking out loud here about ocap modules for Racket so I can organize my thoughts.
- All macros and values are *explicitly* and *intentionally* introduced into a module
- The default situation is that macros can exfiltrate surrounding information from even foreign surrounding code. However, we can create one-off code inspectors to prevent this nastiness.
- Currently modules are name-centric; that doesn't map to my needs. But I can create one-off registries and pull in modules from others.