To mark types which are supposed to be value types but can't be made value types currently.

I'd say pretty much identical to what the CLR does. A few questions need to be decided, e. g. how to deal with shearing, but that's mostly a runtime matter, not a language matter.