refinement 0.3.0

Convenient creation of type-safe refinement types.
Documentation