add more convenient type checking
add car/cdr to Cons
add duck-type list check