minor ode cleanup

the global declaration of y was moved to the top of the function
and update the inline comments in _handle_Integral which no longer
apply

retlist processing was handled as a list comprehension
consolidate sum-like methods; disambiguate 1 and 2 arg limits

Product and Sum now use the consolidated _as_dummy method.