Finished the post about the proposal for python type definition