Factoring Module Proposals

This is an attempt to factor R6RS, ModulesShinn, the library and module parts of ModulesAndPackagesArcfide, and ModulesGanz into features that they have or don't have, to make decisions easier. I have neglected purely syntactic features like the names and ordering constraints of forms and keywords. I've added columns for a few existing Schemes.

Feature	r6rs	shinn	hsu-library	hsu-module	ganz	chicken	chez	PLT
Module type	Static	Static	Syntactic	Syntactic	Syntactic	Syntactic	Syntactic	Static
Top-level only	Yes	Yes	Yes	No	No	Yes	No	Yes
Name	List	List	List	Identifier	Identifier	Identifier	Identifier
Anonymous self-importing modules	No	No	No	Yes	Yes	No	Yes
File inclusion within module	In most cases	Yes	Yes	Yes	No	Yes	Yes	Yes
Body	Implicit	Explicit	Implicit	Implicit	Implicit	Implicit	Implicit
Exports syntax forms?	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
Import qualifiers: only except rename prefix	Yes	Yes	Yes	Yes	Yes	Yes	Yes (also strip prefixes)
Rename on export	Yes	Yes	Yes	Yes	No	No	No
Macros can generate modules	No	No	Unclear	Yes	Unspecified restrictions	Yes	Yes	No
Support for co-export	No	No	Yes	Yes	No	No	No
Implicit exports	Automatic	Must be explicit	Automatic/Overridable?	Automatic/Overridable?	Automatic/Overridable?	Must be explicit	???
Import into REPL	No	Yes	Yes	Yes	Yes	Yes	Yes	Yes
Phasing	Yes	No	No	No	No	Partial	Unclear
Versioning	Yes	No	No	No	No	No	No
Strict subset of R6RS	Obviously	Yes	Yes	No	No	No	No	No
Supports parameterization of modules by imports	No	No	No	No	Yes	No	No	Yes

The difference between R6RS and R6RS-- is that R6RS-- does not have phasing or versioning.