fix(frontends/lean): coercion affects other modules
feat(library/logic/wf): transitive closure of a well-founded relation is well-founded
fix(tests/lean): adjust test to new `eval` semantics