Refactored known type optimization, in anticipation of backporting to 2.6.  I'll probably move this code into PyObject_Format, so everyone benefits.