Add a diagram for the format of the tagged value.