nightly-2024-12-11

Changes since nightly-2024-12-10:

Full commit log

• 8709ca3 chore: DecidableRel allows a heterogeneous relation (#6341)
• 19fb1fb feat: do not propagate pretty printer errors through messages (#3696)
• cb31ddc feat: lemmas about indexing and membership for Vector (#6367)
• 633c825 feat: add Float32 support (#6366)
• c83ce02 feat: alignment of Array.set lemmas with List lemmas (#6365)
• cd909b0 fix: when pretty printing constant names, do not use aliases from "non-API exports" (#5689)
• d27c5af refactor: ArgsPacker.unpack to return Option (#6359)
• 9386511 refactor: elabWFRel to take names, not PreDefinition (#6358)
• a9b6a9a refactor: WF.EqnInfo.hasInduct (#6357)
• d5b565e refactor: make mkInhabitantFor error message configurable (#6356)
• 27c2323 chore: alignment of Array.any/all lemmas with List (#6353)
• 1786539 feat: BitVec.[toInt|toFin|getMsbD]_ofBool (#6317)
• a805946 chore: adjust CODEOWNERS (#6327)