feat(emacs): define lean-mode as a derived-mode of prog-mode

Fix #52
refactor(emacs/lean-type): clean up