chore(emacs/lean-server): clean up debugging message
feat(emacs/lean-info): improve coercion display

close #124