Re-defined AND and OR as constructors parametrised by lists. This made
TT and FF redundant, so we removed them.
Got rid of a stupid dummy parameter.
Replaced the true and false boolean thing with option data types to
hold the distinguishing formulae in case of false. The test cases are
still passing.