I also agree. Also, because of the way auto and template inferal works, "implicitly convertible to" just isn't that useful:

```D
auto b = (a == b); //Is b a bool, who knows?
```
```D
void foo(T)(T t);
foo(a == b); //Calls foo!bool ? who knows?
```