Whether this feature is implemented as a full-blown module system, or simply as a behind-the-scenes copy and paste of some predefined symbols, it is important to the educational mission of WeScheme that a teacher be able to define a set of symbols that are then accessible to students who were working on WeScheme.
Once created, these symbols should not pollute the namespace for all users. Rather, they should only be available to certain users (or groups).
Whether this feature is implemented as a full-blown module system, or simply as a behind-the-scenes copy and paste of some predefined symbols, it is important to the educational mission of WeScheme that a teacher be able to define a set of symbols that are then accessible to students who were working on WeScheme.
Once created, these symbols should not pollute the namespace for all users. Rather, they should only be available to certain users (or groups).