Merge pull request #1623 from cryspen/lean-enums

feat(Lean backend) Add support for enums and structs

Author: W95Psp

CHANGELOG.md

@@ -11,6 +11,9 @@ Changes to the Rust Engine:
  - The module `names` now produces `ExplicitDefId`s instead of `DefId`s (#1648)
  - Add a resugaring `FunctionsToConstants` (#1559)
  - Drop the tuple nodes of the AST, add resugaring node for tuples (#1662)
+ - Add support for enums and structs to the Lean backend (type definitions,
+   expressions, pattern-matching) (#1623)
+ - Update name rendering infrastructure in the Lean backend (#1623, #1624)
 
 Miscellaneous:
  - A lean tutorial has been added to the hax website.