feat(emacs): implement lean-show-type