defstructs and packages

Why CL includes two non-orthogonal concepts for code organization? Why to define an IMAGE package I have to separately declare (defstruct image-state ...)?

Can we replace defstructs with packages in future Lisps?

>>16
Why do we still differentiate between symbols and strings?

We can attach reader package-info as metainfo on top of strings, which macros would then use to resolve stuff.