Many languages in use today don't even have a (first class) concept of unions or structures, at least not in the sense that you are talking about. If you're tal

Many languages in use today don't even have a (first class) concept of unions or structures, at least not in the sense that you are talking about. If you're talking about about "bloat" those contexts, you might want to start somewhere else...