I've written a paper on 'std::down_cast':

    http://www.virjacode.com/papers/down_cast.htm

Of course my paper is missing 'motivations' and 'design
considerations', but if there's enough interest then we can beef it
out and see about getting a P number.