fix(frontends/lean/elaborator): style