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.