Currently IDL code generation only supports variants of simple types (int, bool, etc). We want to expand this to support variants of used defined structs. Per Mark's recommendation we do not need to support a perfect generation, only what we consider necessary. It should be sufficient to say that the structs in a variant must all have a unique first element (which can be viewed by BSON.firstElement) to determine what the type of the variant is