Add equality operator

Introduce a new operator to test for equality of two variables. Currently, this is only possible with the unintuitive expression !a ^ b. The new syntax should be a == b for equality and a != b for inequality.