Describes a discriminated union type, which allows values to be one of many map types, distinguished by a discriminator field.

This provides more precise error reporting than regular union by using a discriminator field to determine which variant to parse.