Function `#set` is not actually total

[ehildenb]

Currently the function #set is marked as total (with functional attribute).

But it's not actually defined in the case where the key is in the Map, but the value associated with the key is not an Int.