type String1000 = string & Brand<"MaxLength1000">;