Describir: Classifying the complexity of constraints using finite algebras