Seol mar théacs é seo: Tractable constraints closed under a binary operation