fix(frontends/lean/pp): when formatting a coercion to function-class
that contains implicit arguments
fix(frontends/lean/pp): when formatting a coercion to function-class that contains implicit arguments