Fix the pass for object overrides; extend Equals to support all == operators

[ddobrev]

We currently only support Equals for operators taking two parameters of the same type. We need to extend its body to support other comparison operators, if any.