Define equalities?

[tkf]

It may be nice Init(+) == 0 is true. But there is a question how isequal should work (e.g., what Dict{Any,Any}(Init(+) => :x)[0] should do?).

[tkf]

It'd be bad to define isequal(Init(*), 1) === true and isequal(Init(*), "") === true because it breaks transitivity.

Defining = may be OK since we already have, e.g., I(3) == I == I(4).