fix(frontends/lean/elaborator): coercion overloading