Adds an element to a FiniteMap. If there is already an element
with the same key, then the specified combination function is used
to calculate the new value. The already present element is passed as
the first argument and the new element to add as second.