по-моему, это проблема модели, из каких там POD'ов (или не POD'ов) оно там состоит, как сериализуется и т.п.
типы - это суть контракты и важны они уже на стыке модели с другими объектами
соответственно, типы по-настоящему важны только во время взаимодействия модели с другим объектом и зависят от конкретного алгоритма взаимодействия
на мой взгляд, мыслить удобнее именно взаимодействиями объектов, а не их составных частей