pair, cons, car, cdr
add rational testcase