Parsing failure causes exception throw
Few tests for invalid formulas
Add parser tests for implication and parenthesis
Add constant formula for easier testing
Add LogicImply class
Evaluation logic tested outside parser
Add parenthesis parsing
Add implication parsing
Propagate failed binding correctly