Packages are just a way to convert strings to symbols, which is useful when
they are obtained from files outside a running CL (e.g. via the reader/fasl
loader).
Agreed. Isn't it the case that {package x string} -> symbol is
a 1-to-1 relationship? In which case, two symbols having the
same name in the same package implies that the two symbols
are in fact EQ?
Sorry if I'm late to the party, I haven't been thinking about this