Refined type support

[oker1]

We are using some refined types in our ADTs with the lib, and made some instances for them in the project. Would you be interested in supporting refined in your library?

[shuttie]

It seems as a nice idea, but it would be wonderful if it would be a separate sbt subproject: so only people using refined will import it.