let shift_offset p off = Fol.Tapp ("shift", [p; off])