Eval CAR, CDR, EQ, and IF