feat(emacs/lean-type): maintain nay-retry timer
feat(emacs/lean-type): maintain nay-retry timer