Make loading faster by eliminating require blocks

lisp/langs/icejam-lang-lean.el

@@ -2,15 +2,15 @@
 ;;; Commentary:
 ;;; Code:
 
-(require 'icejam-prog-mode)
-(require 'icejam-lsp)
+(declare-function lsp-deferred 'lsp-mode)
+(declare-function icejam-set-lsp-capfs 'icejam-complete-at-point)
 
 (use-package lean4-mode
   :ensure (lean4-mode
-	   :type git
-	   :host github
-	   :repo "leanprover/lean4-mode"
-	   :files ("*.el" "data"))
+           :type git
+           :host github
+           :repo "leanprover/lean4-mode"
+           :files ("*.el" "data"))
   :requires (lsp)
   :defer t)
 
@@ -24,7 +24,7 @@
   ;; Capf override
   (icejam-set-lsp-capfs))
 
-(add-hook 'lean4-mode-hook 'icejam-activate-lean-mode)
+(add-hook 'lean4-mode-hook #'icejam-activate-lean-mode)
 
 (provide 'icejam-lang-lean)
 ;;; icejam-lang-lean.el ends here