added CC (congruence closure with curryfied terms);
added Puf (persistent Union-Find, used in CC);
added their unit tests