Negation handling in recursive definitions.

[Broes De Cat]

Currently, there are no guarantees that handling of definitions will not introduce new negations, thereby changing the semantics. For example >= is transformed to ~ ( < ) during parsing, leading to incorrect results e.g. in simplemx/knownaggrecdef.idp...