Add note about statically known maps keys and types tracking across function calls to the changelog#13562