Added Clause and Formula classes.
Added methods to test if Clauses and Formulae are empty.
Added methods for adding and removing Clauses and Variables.