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