11.x Virtual objects

How general do we think virtual data-items will be?

1. X:< obj T – this one should be ok
2. Y:< ref T – probably not or should we allow to strengthen the type to TT (sub of T)?
3. V:< var P – perhaps possible, but the embed problem shows up
4. W:< val P – as above