Is there a theoretical reason why they can’t?
As a layman I would assume nothing is preventing it, other than the large amount of effort it would take to implement.
No theoretical reason; It's backward compatibility/internal technicalities, as they mention in the JEP.
From what I gathered the core problem is flattenability. It is backed by a dynamic array and you would need real templating to remove the indirection.