let mk_shift_pointer e _t i = Fol.Tdata (E0shift (e, i))