Update dispatch-types.py