remove lemma-lookupM-insert-other in favour of lookup∘update′