Move UnsatisfiableConstraints to a pretype error.