package loaders: define extid types
This is still a purely internal change for now, but it will be needed to read/write ExtIDs from/to the storage.
Probably needs a mention of npm (in that another loader may interpret an identical source archive differently?)
Same as npm, this probably needs to mention pypi.
Indeed. I discarded this idea, but can't remember why...