Have you given any thought to how one can represent a tagged union/enum: so, we either have struct1, struct2, etc..?
In C this can be done with a struct with a field holding a tag, and then a field that is the union of all the other possibilities.
It would be very interesting to have this ability in wax.