let mk_index_access term ty i =
    access ty (mk_index_shift term ty i)