Re-update types.json