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?

>>12
C# can't do this either. Implementing an OS would require something like Unix privileges, where package-system acts as a filesystem on top of garbage collector.