tvix/eval: builtins.toXML doesn't know about function parameter names

#242
Opened by tazjin at 2023-01-16T13·13+00

We only track the parameter names of formals to runtime, but not of individual function arguments like name: ....

This means that serialising single functions is currently not implementable in builtins.toXML.

Relates to cl/7835