If you define macro having "matching" parameters you can do justabout anything.

   (defmacro CAR ((x . y)) x) 
   (defmacro CDR ((x . y)) y) 

Ok. I cant define IF, letus add that to the primitives.