Conversion for types with several predicates does not work

```
type PositiveInt = Int Refined Positive
type PositiveAndLessTenInt = Int Refined (Positive And Less[W.`10`.T])

var foo: PositiveInt = 1
val bar: PositiveAndLessTenInt = 5

foo = bar
```
This produces error:
```
type mismatch;
found : Playground.this.PositiveAndLessTenInt
(which expands to) eu.timepit.refined.api.Refined[Int,eu.timepit.refined.boolean.And[eu.timepit.refined.numeric.Greater[shapeless._0],eu.timepit.refined.numeric.Less[Int(10)]]]
required: Playground.this.PositiveInt
(which expands to) eu.timepit.refined.api.Refined[Int,eu.timepit.refined.numeric.Greater[shapeless._0]]
```