IdentityObject and InlineObject

[Brian Goetz]

> Currently something typed Object represent either any or ref, we decide that most of the Object represents any, so we still have to change some of the Object that represent ref.

Keep pulling on this string .. exactly WHAT will have to change? Let's 
have some specific examples, and then we can talk about how common they 
will be, and whether there are not other mitigating options.  I worry 
you may be assuming something that isn't there.