Fix bug in literal construction
Add tseitin cases for constants and negation of atoms
Fix bug in tseitin negation
Make formula data type strict
Implement new unrolling mechanism