Proto: Give Script_ir_translator.type_logger argument explicit names

Context

Script_ir_translator.type_logger takes two stacks as argument, corresponding to the stack before and after executing the instruction, respectively. This MR enforces named arguments for the two stack arguments, as to make it explicit what the stack before and after the execution of the instruction are, when constructing an instance of type logger.

Fixes: #2322 (closed)

Manually testing the MR

This MR does not introduce any functional change. I have checked that building the sources with make succeeds without warnings or errors.

Relying on existing tests and CI pipeline.

Checklist

• Document the interface of any function added or modified (see the [coding guidelines](https://tezos.gitlab.io/developer/guidelines.html))
• Document any change to the user interface, including configuration parameters (see node configuration)
• Provide automatic testing (see the testing guide).
• For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR