Support refined types

[zainab-ali]

Add support for refined types!

[zainab-ali]

I've been taking a bit of a closer look at this. It looks pretty straightforward.

We want to use any of refined's types on Quantity, as long as they can be used on the underlying type.

i.e. if we have evidence for a Validate.Plain[A, F[A]] where F is any type, derive a Validate.Plain[Quantity[A, D], F[Quantity[A, D]].

I think that we can implement the inference rules in the same way.

This should go in a separate libra-refined module.

[zainab-ali]

I wonder if it would be good to implement refined based on spire instead? Quantity has spire typeclass instances, so we'd get refined for free.