Negation and simple equality added

'Not' can be used both in goals and heads.
Simple equality such as X=Y can be added