More notes on types in Python