fix(frontends/lean/elaborator): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lean/run): add another test for new elaborator

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>