adding equality operator in axioms (syntactic sugar only)