[m-rev.] for review: replace some rafe-isms

[Julien Fischer]

On Sat, 11 Jan 2020, Zoltan Somogyi wrote:

> For review by anyone.
>
> The only tricky part is the replacement of ... ^ elem := ...
> by det_insert operations. These are clearly ok immediately
> after a failed search, but some of them are after a failed search
> and then some other operations that shouldn't, but theoretically could ,
> add that key to the relevant map.


That looks fine.

Julien.