feat(emacs): implement lean-show-type
feat(emacs): implement lean-show-type