Hi, Can I ask where the current ideas/proposal for value types is located? I'm curious how it integrates with the object hierarchy and how you can differentiate one value type from another at the VM level. I think this is relevant to the current discussion, depending on how/if they're tagged and/or boxed. Thanks, cheers.