remove redundant is_number routines
change is_zero to _eval_is_zero for Sum and Product
make Product and Sum is_number more naive

is_number is a yes or no question equivalent in answer to
not foo.free_symbols. It should not use evaluation or assumptions
to answer the question.