let add_index p i ty = 
    { p with 
        p_off = p.p_off @ [Lookup.Oindex (i,ty)] ; 
        p_type = Some ty }