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