doc(syntax_highlight_in_latex.md): fix typo

[skip ci]
test(tests/lean/run): add test for well_founded relation for mutually recursive datatypes
fix(frontends/lean): disable class-instance resolution when executing find_decl, fixes #343
feat(kernel/expr): change the rules for inferring implicit arguments, closes #344