Re: Error by duplicated file names (redefinition of 'types'; previous declaration here...)

[LeuGim]

If I understood you right, that may be undesirable: first, for big packages, 
you may need a small part of their functionality and not want to compile all of 
it; second, by avoiding name clash for modules, that should increase name clash 
for what's defined in them (procedures, types, etc.) (because you import more 
symbols, importing the whole package contents)?