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?

Also, packages/defstructs should be more first-class, by including interface choke-points, which would allow changing package internals without whole program recompilation.