fix(frontends/lean/pp): pretty printing coercions to functions, fixes #151