Returns a new sequence like seq but with val inserted at idx (the seq
is extended in either direction if needed prior to the insertion; previously
uninitialized indices are filled with the seq's default).