See the diary for the latest details.
In no particular order:
In particular, SRFIs 7 (Feature-based program configuration language) and 10 (Sharp-Comma External Form) seem to call for reader-level support. Since S2 is really just a glorified reader it should provide it.
The time has come to write the lexical-encapsulation method of name resolution. I need it for the CryptoGnome anyway. It doesn't help with scoping macros, but nothing does unless I expand them myself. That's not going to happen for a while, yet.
There is actually some support for this at present, but it
has bugs due to inadequate testing. S2 only cuurently
define-structures are the next steps. I
actually expect to do
so that cycles in the module structure of a program can be
more easily (and accurately) dealt with.