augmented prop_logic to work with implied AND

* added tests of implied and that pass
* added literals attribute that lists other possible string representations of operators
* added back LEFT association of And operator
* Gave And and Atom infinite arity (perhaps unneccesary)
* skipped every other token only for Or operation