Overloading == with different types of operands

Sorry, last post was to go to New operators - #9 by nbengtg
It may be relevant here also, though, so I let it stand.