Implement resetConflict() API method
Support empty clauses

Empty clauses provide a utility for users to force conflicts
Fix bug in resolveConflict()
Implement expellLearned() method
Fix bug in main loop
Extend variable/literal classes and iterators