Now the constraint simplifier solves kind constraints as well.