define hashable content for Subs, Lambda, Integral, Sum and Product

The new definition allows expressions that would give identical
results (indepenedent of bound variables) to compare the same.

Issues 2440, 3775
make Lambda variables Symbol, not Dummy
test and sympify lambda input