PR# 19965 Signature problem with TYPE.is_conforming_to

The signature of `TYPE.is_conforming_to` is:

```eiffel
is_conforming_to alias "<=" (other: like Current): BOOLEAN
```

Likewise for `is_strictly_conforming_to`. This means that the following code will not compile:

```eiffel
({STRING}).is_conforming_to ({ANY})
```

because of type of the argument, `TYPE [ANY]`, does not conform nor convert to `like Current` (i.e. `TYPE [STRING]`).

I suggest that we replace `like Current` with `detachable separate ANY`.

--
Eric Bezault
Still available as freelance for any Eiffel related mission