test and sympify Lambda input
Product and Sum get as_dummy methods
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