Update types.py