doc(syntax_highlight_in_latex.md): fix typo

[skip ci]
test(tests/lean/run): add test for well_founded relation for mutually recursive datatypes
test(tests/lean/run): add test for well_founded relation for mutually recursive datatypes