add AttrEq combinator