do propagate work on equalities... marks end of bugfixing rounds

now move to optimizing and merge
sets: generate lemmas only on full effort
optimize propagation

* move emptyset propagation outside the loop
* remove outer loop over elements in eq class
begin prop work
timer statistic
reorganization / cleanup in progress
reorganization / cleanup in progress (2)
reorganization / cleanup in progress (3)
simplify term info manager, remove unused data structures
some cleanup with headers
rm traling whitespace in sets/