move insert_wish to insert and fix up make_array_naive
based on the new translation

Didn't do the runnign time proof for make_array_naive yet, tho.