If this is what you mean by "proper value types" then I think that the "value type" term is bloated. For me value types mean value semantics and what you descri

If this is what you mean by "proper value types" then I think that the "value type" term is bloated. For me value types mean value semantics and what you describe are mostly optimizations. I like the point of Eric Lippert, that value types is not the same as "should live on stack" as a lot of people think. I would agree that things like > - using without IDispose for structs without implicit boxing and > - generics for blittable types would make value types more "proper" in the C# language.