fix(frontends/lean): disable class-instance resolution when executing find_decl, fixes #343
checkpoint