Added evalutateBinary to make evaluate more consise.
Added parser for iff and implies