Made simplifications

make-sum and make-product check their params
Add exponention deriv
2.57

more terms in input arguments for deriving
Sets representation

2.59
Ordered sets
Sets as binary-trees