feat(emacs/lean-cmd): extend info to have column-number
feat(emacs/lean-info): show extra-type info for expr in parens

Close #135
feat(emacs/lean-info): show extra-type info for expr in parens