nightly-2022-06-01

Changes since nightly-2022-05-31:

Full commit log

• 9290a0e chore: fix tests
• ac440e7 chore: update stage0
• 5302267 test: for #1163
• 2e6dae0 chore: synthetic := false by default at sorryAx
• 2b2f315 chore: fix tests
• 64c36ff feat: generate warning message if declaration has a non-synthetic sorry
• 0631c90 feat: implement MonadLog at CoreM
• caa79ca refactor: move MonadLog
• be69d04 feat: add Declaration.hasSorry
• 5f7cc78 fix: remove unnecessary let-expressions when computing the motive
• 704242f feat: zetaReduce should expand nested let-expressions too
• d8aab85 feat: add usedLetOnly parameter to Meta.transform
• e997cd9 chore: style
• a741540 fix: relax InfoTree.visitM when visiting holes