Removed MathTests since they now take place in pdb
Replaced all the implementations of sum

The correct way of implementing sum has quite a (offline) discussion,
but in the end we have decided on this definition, not
loosing the type of the argument, and handling the empty
list/set correctly.