feat(frontends/lean): display eval/check/find_decl results using flycheck