Add operations on refined typed

Would be great to have a subset of the same operations available on unconstrained typed also available on refined types but tracking properties across operations. Even a small subset would probably already be a big win. I am thinking things like:

```
scala> val a: Int Refined Greater[W.`5`.T] = 10
scala> a + 1
res0: Int Refined Greater[W.`6`.T]
```

Are there any operations like this already? If not, adding a few to open the door for contributions in the same style might be a good way to get started.