Equality rule design

[bvssvni]

Related to https://github.com/advancedresearch/avalog/issues/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.