SMS dit: The complexity of constraint languages