Implement disunification

[lvh]

Right now, the query language supports unification; e.g. saying that a logical variable is equal to some expression. We should be able to express that something is not equal to some expression, too; for example:

(and (= (:ip x) "10.0.0.1") (!= (:type x) "syslog"))