Convert Cleavir primop CDR.
Convert Cleavir primop RPLACA.
Convert Cleavir primop RPLACD.
Use SECOND rather than CADR.