fix(frontends/lean): OVERLOAD info for overloaded notation, fixes #132