checking in on ISSUE-102

John,

As you probably saw, we resolved ISSUE-102 a few weeks ago by changing 
@instanceof to @typeof (@instanceof was already unpopular with a few 
members of the task force.)

I wanted to make sure we had your official response on that issue, since 
you raised it: are you okay with our resolution? If you're not 100% okay 
with it, can you live with it?

Thanks!

-Ben