feat(frontends/lean/server): do not unfold definitions in FINDG
feat(frontends/lean): add 'find_decl' command