refinement 0.5.0

Convenient creation of type-safe refinement types.
Documentation