QBF: Store the formula as a Set
Add primitives to build a Formula