fix(frontends/lean/elaborator): coercion overloading
fix(frontends/lean/elaborator): coercion overloading