Even considering that normal forms are tools... Sum types, how them are stored and how they are used is not the same ie: How are sum types represented in langu

Even considering that normal forms are tools... Sum types, how them are stored and how they are used is not the same ie: How are sum types represented in languages like Rust/oCalm? that is tangential as how we experience them. So, support to embed relations is the step to provide the storage and partially, help in the query, but from the POV of the user them are "normal sum types". But with that, you get the ability to store relations, that is usefull as-is :)