updated the Eq abstract to use the new Mem.cmp method