RFC #70: Added details about downcasting

Thanks to a disconnect, this didn't manage to land before the RFC was merged, but this change was part of the agreed-upon plan for the RFC.