Use t as the condition of the last clause in cond

t, not :else, is idiomatic Emacs Lisp.
Remove redundant progn
Remove an unnecessary use of cl-loop
Reformat the cond to make it consistent