Refined types should be supported

[jvican]

Scala pickling should support all the refined types but those which require reflection, i.e. structural typing. A quick example:

trait Refined { type T }
implicitly[Pickler[Refined { type Captured = String }]]

Right now, we fail to provide picklers and unpicklers for such types.

[jvican]

I'd like to point out that one can define their own picklers and unpickler for that refined type, the goal of this ticket is to do this automatically.