Make type constraint solving a little more relaxed; hopefully it will not make it less precise.