Optimized Formula's constructor
Added Report
Added Literal.complement
Removed all pointers
Removed almost all code from Formula
Added Formula contructor and simplify
Added Clause.contains
Fixed bugs in Literal
Added Formula.contains