Chapter 13: Module Systems
Module systems are intended to help organize larger developments of
code, and provide features like namespace management and information
hiding. In fancier module system's like ML's, they provide a layer
of programming on top of the definitions of the core language, in order
to connect pieces and satisfy their dependencies.