Understanding Module Systems

This is a series of notes to myself about module systems, undertaken as an attempt to understand them better.