The singleton maps notation is now also more consistent with the
insert <[_ := _]> _ notation for maps.