I just opened a new conversation to add a parametric top type, which is relevant for the discussion here. I have already discussed this with @jvican and hashed out with him some of the details of how that would relate to value classes.
The gist is, I was quite in favor of the proposal yesterday, but now think we have found something better.