Add toString() override to Cell class
Add quantifier to left-hand-side of Positive Elimination rule