sql.py: add_index(): Use new sql.ensure_not_null(), which creates a separate column to store the index expr where possible