Adding support for car/cdr of empty
Working on MK