forking arithmetic-generic.rkt to support type coercion
fixed previous typos
ex 2.81
and-list;list-identical?
ex 2.82: handling multiple arguments with coercion