> Among other things, this means that if I write an extension MyList to
> List and someone else writes and extension HisList to List, there is no
> automated way to merge these, I need to write yet another module
> LatestList to be able to use both extensions at the same time.


Merging these with the import command you propose requires an external
configuration. Would that be any easier than using include to define a new
module? Or is there supposed to be some other benefit I'm missing?