Extend unboxed variants to support more advanced use cases

[zth]

Some ideas;

• Shapes, like multiple constructors with records in a single unboxed variant, where we can figure out which record is which at runtime (by checking distinct props, etc)
• Tuples

Especially the first one pops up here and there when interoping with JS, and would be a fairly large capability improvement to have.