Implement purge and up methods.

Remark:
- testing required.
Modify purge method.

Reasons:
- unneccessary aditional method removed,
- method should return list of purged elements for tracking of assigned
  values.
initial SAT solver implementation and assorted CNF logic changes
probably fixed cnf() and SAT solver