"Why Modules?" doesn't belong in the reference section

[dckc]

[dckc]

perhaps move to packaging section? hm... where is packaging in the TOC???

And let's show, don't just tell, stuff like:

Our module system abstracts this behavior, parameterizing inputs to modules and allowing for isolated modules that can be evaluated multiple times without side effects."Our module system abstracts this behavior, parameterizing inputs to modules and allowing for isolated modules that can be evaluated multiple times without side effects.