[Python-ideas] For CPython 3.1: make type Check and CheckExact macros consistent? universal?

[Zooko O'Whielacronx]

Hi Larry.

It was fun meeting you at PyCon and seeing your minuteman demo.

I like it the way it is -- "Check" means "any satisfactory type" and  
"CheckExact" means "that type".  For types where only that type is  
satisfactory, then their Check should be the same as CheckExact.  I  
guess PyMethod not having a "Check" is perhaps an oversight.

Regards,

Zooko