feat(emacs/lean-settings): add lean-show-only-type-in-parens

Fix #135