## Description
`Z506 / Argument type mismatch` and `Z517 / Return type mismatch` are error types that can result from specific function calls. When an instance of one of these error types gets reported back to a user, it may not be clear to the user which function call led to the error. (In many cases, it will be implicitly clear from context, but not always. For example, a top-level call to a composition function can involve calls to many nested functions.) Thus, it will be helpful in such cases to report back to the user which function call led to the error.
[ ] Consider adding a key to Z506 and to Z517 to report either the entire function call, or the called function's identity.
[ ] If that is done, upgrade each usage of those 2 error types in the orchestrator to employ the new key.
[ ] If that is done, upgrade each usage of those 2 error types in the evaluator, if any, to employ the new key.
---
## Completion checklist
* [ ] Before closing this task, review one by one the checklist available here: https://www.mediawiki.org/wiki/Abstract_Wikipedia_team/Definition_of_Done#Back-end_Task/Bug_completion_checklist