Seol mar théacs é seo: Classifying the complexity of constraints using finite algebras