Introduced typedef "Lit" for literals.
Improved locality.
Using stack to store the unit-clauses in function dpll.
Removed superfluous assignment.