> `firstName: FirstName` is redundant. It is equivalent to an alias. FirstName is here its own type inheriting String, NOT being a String and that is important

> `firstName: FirstName` is redundant. It is equivalent to an alias. FirstName is here its own type inheriting String, NOT being a String and that is important in order to enforce not to mixing two different ontological categories represented by the same implementation (STRING). For example, if we follow C style alias of types, FirstName and LastName could be silently exchanged leading to lots of silent errors. I sort of agree with the rest of what you said however more dynamic systems although flexible tend to bring "undesired entropy" into the system.