Added links to pytypes and Guido's 2014-08 proposal