CatString

A CatString is subtype of String that represents the concatenation of two other Strings