WyC: added support for parsing negation types.