New discussion about dicts with mutable keys

Documentation includes description of proposed new function checkcorrectness, which is in a separate pull request.