Literal id set to private as getID should be used
correct theory backtracking
changed backtracking behaviour in congruence solver, got rid of clones, not sure what to do with useList and uncertain about lookup/diseq timestamps