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