Indeed, that is why that I keep saying that the statically typed parts should be groups of modules, and all communication otherwise is via black-boxing messages (like the dynamic type I mentioned above). ^.^
If you hot-code swap well you are swapping a release in full anyway, and the code update function can update the data models too (it would be cool to build versioning into the types especially!).
