Implementing conjunctions, disjunctions and negation.
Implementing negation and operator precedence.
Refactoring grammar to consistently produce a disjunction of conjunctions.
New implementation of AND, OR and NOT.
Fixing associativity test.
Implementing filters.
Implementing maybe.