Updates to If, Locally, Progn, Progv, Setq, and The. Also, a few minor updates to others.