Equality rule design

[bvssvni]

Related to #136

X == Y

The reason this is needed, is because of dual operators.
In a rule with X, X*, Y, Y*, the 1-avatars are detected independently,
which means by adding X == Y, one can form rules over two 1-avatars of the same object.