nightly-2025-01-17

Changes since nightly-2025-01-16:

Full commit log

• e3fd954 chore: update stage0
• b7815b5 feat: add lcAny constant to Prelude (#6665)
• 7f0ae22 fix: don't filter out local instances in LCNF toMono pass (#6664)
• 35a4da2 feat: add simp-like parameters to grind (#6675)
• 60142c9 chore: remove unneeded instance (#6671)
• 17c0187 fix: add workaround for MessageData limitations (#6669)
• e42f7d9 feat: equality resolution for grind (#6663)
• 906aa1b feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow, bitwise_mul_two_pow, shiftLeft_bitwise_distrib] (#6630)
• f015271 feat: align List.replicate/Array.mkArray/Vector.mkVector lemmas (#6667)