Cond, and implement type predicates in Scheme