You're absolutely right about modules. I didn't mention them because I tend to think of the module system as being independent from the type system, but they're

You're absolutely right about modules. I didn't mention them because I tend to think of the module system as being independent from the type system, but they're actually closely related.