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