Great explanation, I needed this framing a bit to unpack what I was reading about 
Edit: To the above comment: the sixos talk was another good take on the module system’s merge being more limiting than the package system’s override feature. Which is why overriding, say, OpenSSL, is a package specific operation but not a module specific one. In sixos they become the same thing.