type String100 = string & Brand<"MaxLength100">;