The details of the definition of modules in Alan has already been discussed in their Syntax and File Structure. This section focuses more on how modules relate to one another, the kinds of project structures allowed (and of those encouraged), and functionality baked into the module system that requires more invasive, unsound runtime activities not necessary (or even allowed) in Alan.