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