WyC: added support for parsing logical implication.