This inserts a value x0 at d-th position of x.
x0
d
x
insert(x, d, x0 = 0)
A vector.
A position in x.
A value to be inserted.
The resulting vector.