feat: use `nondep` flag in `Expr.letE` and `LocalContext.ldecl`#8804

kmill merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom

kmill:kmill_ldecl_nondepkmill/lean4:kmill_ldecl_nondepCopy head branch name to clipboard