sql.py: add_index_col(), cast_temp_col(): Cache the update that fills in the new column, since it's idempotent