Splitting data structures in tagged extensions