(DEFPROP Q (LAMBDA (L) (CONS (QUOTE QUOTE) (CDR L))) MACRO) (DEFPROP MCONS (LAMBDA (L) (COND ((NULL (CDDR L)) (CADR L)) (T (LIST (Q CONS) (CADR L) (CONS (CAR L) (CDDR L)))))) MACRO) (DEFPROP ONEP (LAMBDA (X) (MCONS (Q EQ) 1 (CDR X))) MACRO) (DEFPROP ZEROP (LAMBDA(X)(MCONS (Q EQ)0 (CDR X))) MACRO)