Improve naming

[franziskuskiefer]

I (Lucas) will spend half an hour on that this morning (Monday) to see if that's very quick to fix, otherwise I will work on that next week.

[franziskuskiefer]

@W95Psp what's the state here? Is this still in progress?

[W95Psp]

Yes, that's in progress. I spent some time on that on Monday, but it's not done yet, some WIP state can be found on branch https://github.com/AeneasVerif/eurydice/tree/lucas/improve-names (for now it's only printing monomorphization information as comments in the C extraction).