Added lots of exposition in the python types program.