As per the charter, we need a module system proposal which allows sharing of code between implementations.
This is one issue where we can't default to the R5RS, since it has no module system. If we can't come to consensus, we will have to take the R6RS module system as-is.
I have made a proposal regarding the module system on ModulesAndPackagesArcfide that has been updated recently.
ModulesShinn won.
Need to update \subsection{Primitive, library, and optional features} and \subsection{Entry format} in struct.tex regarding library and optional features.
Need to update prog.tex to include module system description.
Need to update "Programs and definitions" section of syn.tex to include modules.