Made Literal's sign public
Added interpretation
Refactored clause to use interpretation
Added Formula.solve_backtracking