add `attrs-equal?`