Lemmas for total lookup operation `!!!`

!97 (merged) has introduced a total version !!! of the lookup operation. We should add a bunch of lemmas relating !!! to the other list and map operations. For example, for insert on maps:

<i:=x> m !!! i = x