ucm tech debt megaticket

[aryairani]

Add new stuff to comments to triage, and we'll filter them back up to here in meetings.

• [ ] freeze migration code, or other solution (https://github.com/unisonweb/unison/pull/3119#issuecomment-1164601690)
• [ ] a bunch of renames
  • [ ] ...
• [ ] compute iosource at compile time maybe?
• [x] two abts (work started here https://github.com/unisonweb/unison/pull/3113)
• [ ] simpler term functor after typechecking?
• [ ] manually pass hashing handle? (removing wrappers of e.g. saveTermComponent)
• [ ] why is ucm large?
• [ ] revert those if not exists in temp entities table migration after freezy fix
• [ ] Names and PPE's are getting to be a convoluted mess, it's hard to tell where things are being filtered, optimized, selected, etc. Parse names, pretty names, scoped names, we need to find a way to standardize/unify these ideas or at least decide where "best name" selection takes place.
  • [x] https://github.com/unisonweb/unison/pull/3206#discussion_r917024744
• [x] do the variadic VALUES thing (e.g. in elaborateHashes)

[ChrisPenner]

PPE and Names stuff : https://github.com/unisonweb/unison/issues/3256